集合論に基づいた言語を作りたい

[602 デフォルトの名無しさん 2014/10/23(木) 21:45:05.80 ID:lKZXmaCH]

>>597
離散数学やアルゴリズムの教科書の演習問題みたいなのでいいんだよな。

>>300
>教科書の章末問題をサクサクっとインプリメントすることを目的としてる。
>実用性はあんまり求めない。