2010-11-14から1日間の記事一覧
http://code.google.com/p/guru-lang/ Coqに強く影響を受けたとかいう、Guruという言語があります。 JVM上で動く、証明機能付きの関数型言語です。こまかいことはともかく、"Verified Programming in GURU"(http://guru-lang.googlecode.com/svn/branches/1.…
http://code.google.com/p/guru-lang/ Coqに強く影響を受けたとかいう、Guruという言語があります。 JVM上で動く、証明機能付きの関数型言語です。こまかいことはともかく、"Verified Programming in GURU"(http://guru-lang.googlecode.com/svn/branches/1.…