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

Name		Name	Last commit message	Last commit date
Latest commit History 106 Commits
Bi71		Bi71
Full		Full
OpTT		OpTT
Tubes		Tubes
scribbles		scribbles
.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
Euclid.agda		Euclid.agda
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
NoFilter.agda		NoFilter.agda
NormTree.hs		NormTree.hs
Norms.hs		Norms.hs
Pigeons.agda		Pigeons.agda
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
TakeOdd.agda		TakeOdd.agda
Time.hs		Time.hs
Tree-Four.agda		Tree-Four.agda
VecApart.agda		VecApart.agda
VecReflect.agda		VecReflect.agda
WTS2.agda		WTS2.agda
Wang.hs		Wang.hs