thibaudmichaud / lambda-calculus Public

Notifications You must be signed in to change notification settings
Fork 1
Star 3

Untyped lambda calculus interpreter in Haskell

3 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
tests		tests
Makefile		Makefile
README.md		README.md
lc.hs		lc.hs

Repository files navigation

lambda-calculus

An untyped lambda calculus interpreter in Haskell, for fun, and to learn more about Haskell and lambda calculus.

Compile with ghc

make

Run examples

./lc < tests/misc

Run in REPL mode

./lc

About

Untyped lambda calculus interpreter in Haskell

Report repository

Releases

No releases published

Packages

No packages published

Languages