8/25,26でなにやらイベントが連続していたので行ってきました。 ProofSummit2013 OCamlMeeting2013 なごやまつり 後続のせいでかなり地味な印象になってしまったけど(^^、聴いて意味があったのは前半。 OCamlSummit 期待していた Generic Pretty Printer は…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。