Heartlang ❤️
A single-file implementation of Simply Typed Lambda Calculus with Naturals and Clojur-ish syntax
Made for my talk at Heart of Clojure 2019
A single-file implementation of Simply Typed Lambda Calculus with Naturals and Clojur-ish syntax
Heartlang ❤️A single-file implementation of Simply Typed Lambda Calculus with Naturals and Clojur-ish syntax
Made for my talk at Heart of Clojure 2019
A single-file implementation of Simply Typed Lambda Calculus with Naturals and Clojur-ish syntax
Eclipse Public License 2.0