GitHub - pigworker/Samizdat: being bits and pieces I'm inclined to leave lying around

pigworker / Samizdat Public

being bits and pieces I'm inclined to leave lying around

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 89 Commits
Bi71		Bi71
OpTT		OpTT
Tubes		Tubes
.gitignore		.gitignore
Appl.agda		Appl.agda
Ask.hs		Ask.hs
BellosEscape.agda		BellosEscape.agda
BigArray.hs		BigArray.hs
Bino2.agda		Bino2.agda
C2W.agda		C2W.agda
Cats.agda		Cats.agda
Circ.hs		Circ.hs
CompLam.hs		CompLam.hs
ConCom.agda		ConCom.agda
CoqInterpreter.v		CoqInterpreter.v
Dag.hs		Dag.hs
Dagstuhl18-start.agda		Dagstuhl18-start.agda
Dagstuhl18.agda		Dagstuhl18.agda
DeFunct.agda		DeFunct.agda
Diff.agda		Diff.agda
EGTBS.agda		EGTBS.agda
EWAM-Crib.agda		EWAM-Crib.agda
EffW.hs		EffW.hs
ExampleSemantics.agda		ExampleSemantics.agda
FamPowSet.agda		FamPowSet.agda
Full.hs		Full.hs
Hooligan.agda		Hooligan.agda
IC.agda		IC.agda
IIIR.agda		IIIR.agda
Induction.agda		Induction.agda
Jaco.agda		Jaco.agda
JacoDay.agda		JacoDay.agda
KanGo.hs		KanGo.hs
Kipling.agda		Kipling.agda
Lenin.hs		Lenin.hs
MM.agda		MM.agda
Monhomie.agda		Monhomie.agda
NBE-Monoid.agda		NBE-Monoid.agda
Nellist.agda		Nellist.agda
NormTree.hs		NormTree.hs
Norms.hs		Norms.hs
ReleNorm.hs		ReleNorm.hs
Relevant.agda		Relevant.agda
Relevant.hs		Relevant.hs
STLCThin.agda		STLCThin.agda
StackM.agda		StackM.agda
T-NorB.agda		T-NorB.agda
Time.hs		Time.hs
VecApart.agda		VecApart.agda
VecReflect.agda		VecReflect.agda
WTS2.agda		WTS2.agda
Wang.hs		Wang.hs