A single-file implementation of Simply Typed Lambda Calculus with Naturals and Clojur-ish syntax
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool