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

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

集合論に基づいた言語を作りたい - 暇つぶし2ch293:１
14/09/19 20:19:26.79 KT7u8M0C.net
数学は好きだけど下手の横好きだな。
>>291のことがわかればもうちょっとhaskell好きになれそうなんだけど。