GitHub - brprice/worlds

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
.gitignore		.gitignore
Basics.agda		Basics.agda
Dev.agda		Dev.agda
Dir.agda		Dir.agda
Env.agda		Env.agda
Er.agda		Er.agda
Erasure.agda		Erasure.agda
ErasureExamples.agda		ErasureExamples.agda
ErasureSet.agda		ErasureSet.agda
Hom.agda		Hom.agda
HomTerminal.agda		HomTerminal.agda
OPE.agda		OPE.agda
Par.agda		Par.agda
Preservation.agda		Preservation.agda
Progress.agda		Progress.agda
README		README
RedNorm.agda		RedNorm.agda
Sanity.agda		Sanity.agda
Star.agda		Star.agda
StepSim.agda		StepSim.agda
Subst.agda		Subst.agda
Tm.agda		Tm.agda
Typing.agda		Typing.agda
WorldSystem.agda		WorldSystem.agda
WorldSystemExamples.agda		WorldSystemExamples.agda

Repository files navigation

This was forked from McBride's https://github.com/pigworker/Bi71
commit 74d9aa57164d3e55c8867c320ae56766c49a4587

No description, website, or topics provided.

No releases published