A type checked lambda calculus interpreter, Clojure style!
See interp.core.
Copyright © 2014 Ambrose Bonnaire-Sergeant
Distributed under the Eclipse Public License either version 1.0 or (at your option) any later version.
This repository was archived by the owner on Nov 11, 2018. It is now read-only.