Skip to content

lambda-calculus

Created by

A Haskell implementation of lambda calculus, which is a Turing-complete language for expressing function abstraction and application.

Share on LinkedIn

Code

Loading...