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

[786 １ 2015/01/04(日) 21:40:34.76 ID:7jAGFdTv]

>>785
そのチュートリアルのURLくだしあ。