形式手法勉強会用に作成したCoqチュートリアル資料へのアドバイスやご指摘。誰でも編集可になってますので漏れがあれば気付いた方が追加して頂けると嬉しいです。 続きを読む
オブジェクト指向でのOOA,OODみたいなものが関数型言語でもあるか 続きを読む
0
5
