Programming language foundations in Idris

Name		Name	Last commit message	Last commit date
Latest commit History 69 Commits
.gitignore		.gitignore
Assn.idr		Assn.idr
ConcurrentImp.idr		ConcurrentImp.idr
Dimp.idr		Dimp.idr
Equiv.idr		Equiv.idr
EquivExercises.idr		EquivExercises.idr
EquivFoldConstants.idr		EquivFoldConstants.idr
EquivOptimize0Plus.idr		EquivOptimize0Plus.idr
Expr.idr		Expr.idr
Himp.idr		Himp.idr
Hoare.idr		Hoare.idr
Hoare2.idr		Hoare2.idr
HoareAsLogic.idr		HoareAsLogic.idr
HoareAssertAssume.idr		HoareAssertAssume.idr
Imp.idr		Imp.idr
IndProp.idr		IndProp.idr
Inequiv.idr		Inequiv.idr
LICENSE		LICENSE
Logic.idr		Logic.idr
Maps.idr		Maps.idr
README.md		README.md
SmallStep.idr		SmallStep.idr
SmallStepCombined.idr		SmallStepCombined.idr
SmallStepExpr.idr		SmallStepExpr.idr
SmallStepImp.idr		SmallStepImp.idr
SmallStepStackMachine.idr		SmallStepStackMachine.idr
Stlc.idr		Stlc.idr
StlcProp.idr		StlcProp.idr
Subtyping.idr		Subtyping.idr
TypeChecking.idr		TypeChecking.idr
Types.idr		Types.idr

Provide feedback