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

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

一つのことを行い、またそれをうまくやるプログラムを書け -- Malcolm Douglas McIlroy

処理中...