GitHub - mahnushm/LambdaLang: A small core lambda language, consisting of the lambda calculus with booleans and integers.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
lambda-tests		lambda-tests
AbstractSyntax.lhs		AbstractSyntax.lhs
CE3RMachine.lhs		CE3RMachine.lhs
CESMachine.lhs		CESMachine.lhs
CPS.lhs		CPS.lhs
DeBruijn.lhs		DeBruijn.lhs
IntegerArithmetic.lhs		IntegerArithmetic.lhs
NaturalSemanticsWithEnvironmentsClosuresAndDeBruijnIndices.lhs		NaturalSemanticsWithEnvironmentsClosuresAndDeBruijnIndices.lhs
StructuralOperationalSemantics.lhs		StructuralOperationalSemantics.lhs
TypeCheck.lhs		TypeCheck.lhs
lambda-lang.lhs		lambda-lang.lhs
lambda-lang.pdf		lambda-lang.pdf
main.lhs		main.lhs