この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

関数型プログラミング言語「Agda」の研修コースを産総研が開催」記事へのコメント

目玉の数さえ十分あれば、どんなバグも深刻ではない -- Eric Raymond

処理中...