2011-05-17から1日間の記事一覧
Coqのソースコードをocamldebugで追えるようにして早何日か。 結局ocamldebugを使うのは(少なくとも現時点では)諦めることにした。 理由は次の通り。 Coqが使っている構文解析器がそもそもocamlcでコンパイルするものじゃなかった*1。 多相がものすごく邪…
Coqのソースコードをocamldebugで追えるようにして早何日か。 結局ocamldebugを使うのは(少なくとも現時点では)諦めることにした。 理由は次の通り。 Coqが使っている構文解析器がそもそもocamlcでコンパイルするものじゃなかった*1。 多相がものすごく邪…