f-f/heartlang

A single-file implementation of Simply Typed Lambda Calculus with Naturals and Clojur-ish syntax

语言：Clojure · GitHub 星标：6 · Fork：1

在 GitHub 上查看原仓库