2011-02-12から1日間の記事一覧
"Programming Language Theory and its Implementation" を流し読みして、Common Lispで書かれたThorem Proverを Clojureで書き直し。http://gist.github.com/823632・・・なんですが、イマイチ動きません。 以下の例は動いているけど。 (rewrite '(((not (x…
"Programming Language Theory and its Implementation" を流し読みして、Common Lispで書かれたThorem Proverを Clojureで書き直し。http://gist.github.com/823632・・・なんですが、イマイチ動きません。 以下の例は動いているけど。 (rewrite '(((not (x…