アカウント名:
パスワード:
Agda言語で書かれたプログラムは世界で一番優れたプログラムだ!私は今までに一度も間違ったことのないプログラマだ!
♪世界で一番すぐれた言語♪♪命令絶対 規則はいっぱい♪
ルチ将軍万歳!
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
日本発のオープンソースソフトウェアは42件 -- ある官僚
名前の由来は (スコア:2)
それとも Anti GuDA guda ですかね。
Re:名前の由来は (スコア:1, すばらしい洞察)
Agda言語で書かれたプログラムは世界で一番優れたプログラムだ!
私は今までに一度も間違ったことのないプログラマだ!
♪世界で一番すぐれた言語♪
♪命令絶対 規則はいっぱい♪
ルチ将軍万歳!
Re: (スコア:0)