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

[123 １ 2014/08/25(月) 19:07:11.02 ID:DrxGPTGS]

とりあえず、Ocamlでconnect4のルールだけ作ってみた。
だれか添削たのむ。
http://www.age2.tv/rd05/src/up3979.txt

connect4はこことかで遊べます。
http://www.connectfour.org/connect-4-online.php