アカウント名:
パスワード:
低能の手に負えそうにないのは、Coq [lepidum.co.jp]とかか
とある研究会でCoqの話をされていた方が居られたのですが用語の時点でよくわからなくて悶々としていた記憶があります
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
吾輩はリファレンスである。名前はまだ無い -- perlの中の人
Erlangも低能でも使えると思うが (スコア:1)
低能の手に負えそうにないのは、Coq [lepidum.co.jp]とかか
Re: (スコア:0)
とある研究会でCoqの話をされていた方が居られたのですが
用語の時点でよくわからなくて悶々としていた記憶があります