GitHub - ruisb/LambdaPi: ...

Name		Name	Last commit message	Last commit date
Latest commit History 42 Commits
Interpreter		Interpreter
LambdaPi		LambdaPi
OriginalCode		OriginalCode
SimplyTyped		SimplyTyped
Dprelude.lp		Dprelude.lp
LambdaPi.pdf		LambdaPi.pdf
MainLP.hs		MainLP.hs
MainST.hs		MainST.hs
Makefile		Makefile
SameNameTest.lp		SameNameTest.lp
dataTest.lp		dataTest.lp
examples.lp		examples.lp
prelude.lp		prelude.lp
test.lp		test.lp