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

[408 １ 2014/10/01(水) 20:28:28.86 ID:0+f79Okt]

>>407
まじで。英語だからちゃんと読んでないけど>>360のwikiにsqrtの例で

SQRT(x:nat)r:real
post r*r = x

とかいうのがあったからこりゃ単体じゃ実行できないなと思ったんだけど。
早計だったか。