Proove Mark&Sweep GC with CoqView more presentations from mzpi.CSNagoya 第5回GC本読書会 - nariさんスペシャル - : ATNDでだらだらとLTしてきました。Coqのコードは少なめにして、Coqの魅力について語るのを目標にして作ってみました。が、もうちょい練…