GitHub - hantaoyin/lambda_cal: A lambda calculus interpreter written in Scheme.

hantaoyin / lambda_cal Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

A lambda calculus interpreter written in Scheme.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 50 Commits
C++Front.hs		C++Front.hs
C++Front2.hs		C++Front2.hs
CFront.hs		CFront.hs
Makefile		Makefile
Parser.hs		Parser.hs
README		README
StringQQ.hs		StringQQ.hs
Transformer.hs		Transformer.hs
binary_encoding.lam		binary_encoding.lam
church_encoding.lam		church_encoding.lam
gc_test.lam		gc_test.lam
hsFront.hs		hsFront.hs
interpreter.hs		interpreter.hs
lam_header.h		lam_header.h
lam_int.h		lam_int.h
lam_stg.h		lam_stg.h
lambda_cal.scm		lambda_cal.scm
queens.lam		queens.lam

Repository files navigation

This is an interpreter for untyped lambda calculus, written in
Haskell/R5RS Scheme.  The lambda calculus uses some custom syntax (a
bit similar to Haskell).  An eight queens program written in lambda
calculus is provided for benchmark purposes (credit to waterret).

Hantao