A collection of mostly unrelated Agda programs which I found interesting in some way.
Coq
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
CPS
CombinatoryLogic
HeterogenousEq
PropLogic
Reflection
TypeChecking
TypedTerms
.gitignore
ArithExprEvaluator.agda
AxiomOfChoice.agda
DNF.agda
InjectivityInconsistence.agda
IrrelevantExample.agda
LevelPromotion.agda
LinearLogic.agda
ModalLogic.agda
ModalLogicExt.agda
Monads.agda
NatStdlib.agda
PatternsTest.agda
README
Records.agda
Subtyping.agda
UnitNotBool.agda
WTypes.agda

README

A collection of various commented example Agda programs and developments.