『CSNagoya 第5回GC本読書会』に行ってきました

Proove Mark&Sweep GC with Coq

CSNagoya 第5回GC本読書会 - nariさんスペシャル - : ATNDでだらだらとLTしてきました。

Coqのコードは少なめにして、Coqの魅力について語るのを目標にして作ってみました。が、もうちょい練習してから発表したほうがよかった気がします。
でも、[twitter:@nari3]さんと[twitter:@miura1729]さんにサインもらえたので満足です。