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

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

私は悩みをリストアップし始めたが、そのあまりの長さにいやけがさし、何も考えないことにした。-- Robert C. Pike

処理中...