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