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

[535 １ 2014/10/19(日) 17:36:40.59 ID:juftpz1M]

>>534
まあ少し面白い話にならないかと期待してた。
具体的なアイディアはないんだが。