Lisprez / LC-interpreter

A compiler and runtime for normalizing the untyped λ-calculus

Geek Repo

Github PK Tool