GitHub - kthielen/stlcc: Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows

kthielen / stlcc Public

Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
AML		AML
ASM		ASM
Link		Link
STLC		STLC
Util		Util
test		test
.gitignore		.gitignore
Main.hs		Main.hs
STLCC.hs		STLCC.hs
compile		compile

About

Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows

No releases published

No packages published