2012-06-26から1日間の記事一覧

Coqのコメントアウトの方法

Coq

ドキュメントによると (* コメントアウトは (* と *) で囲む *) (* (* ネストもできるらしい *) *)Cみたいな一行コメントアウトの // は見当たらなかった。こういうのがあると、サッとコメントアウトするときは便利なのだけれど。めんどくさいのでsmartchrと…