アカウント名:
パスワード:
Agdaと聞いて、即完顔阿骨打を連想した俺はエロマンガ脳#いや好きではないんだが
Agda言語で書かれたプログラムは世界で一番優れたプログラムだ!私は今までに一度も間違ったことのないプログラマだ!
♪世界で一番すぐれた言語♪♪命令絶対 規則はいっぱい♪
ルチ将軍万歳!
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
人生unstable -- あるハッカー
名前の由来は (スコア:2)
それとも Anti GuDA guda ですかね。
Re:名前の由来は (スコア:1, おもしろおかしい)
Agdaと聞いて、即完顔阿骨打を連想した俺はエロマンガ脳
#いや好きではないんだが
Re: (スコア:0)
Re: (スコア:0)
Re:名前の由来は (スコア:1, すばらしい洞察)
Agda言語で書かれたプログラムは世界で一番優れたプログラムだ!
私は今までに一度も間違ったことのないプログラマだ!
♪世界で一番すぐれた言語♪
♪命令絶対 規則はいっぱい♪
ルチ将軍万歳!
Re: (スコア:0)