Name		Name	Last commit message	Last commit date
Latest commit History 147 Commits
.circleci		.circleci
Lambda1.1		Lambda1.1
Lambda1		Lambda1
Lambda2.1		Lambda2.1
Lambda2.2		Lambda2.2
Lambda2.3-uninterp		Lambda2.3-uninterp
Lambda2.3		Lambda2.3
Lambda3.0		Lambda3.0
STLC		STLC
benchmarks/popl18_ple		benchmarks/popl18_ple
docs		docs
guardtests		guardtests
guardtests_lambda		guardtests_lambda
icfp22-revised		icfp22-revised
icfp22-submission		icfp22-submission
miniLambda		miniLambda
old		old
snapshots		snapshots
talks		talks
.gitignore		.gitignore
PropTest.hs		PropTest.hs
README.md		README.md
STLC.hs		STLC.hs
TestLambda.hs		TestLambda.hs
Testy.hs		Testy.hs