集合論に基づいた言語を作りたい
https://toro.2ch.sc/test/read.cgi/tech/1407673636/
last-modified: 2021-05-20 04:11:25