A collection of samples in Agda

Name		Name	Last commit message	Last commit date
Latest commit History 179 Commits
CmdLang		CmdLang
Partial		Partial
SmallStep		SmallStep
commutative-monoids		commutative-monoids
containers		containers
extended-demo		extended-demo
protocols		protocols
.gitignore		.gitignore
01-Demo.agda		01-Demo.agda
01-DemoSol.agda		01-DemoSol.agda
02-PropEq.agda		02-PropEq.agda
03-DoubleInjective.agda		03-DoubleInjective.agda
04-Curry-Howard.agda		04-Curry-Howard.agda
04-Curry-HowardSol.agda		04-Curry-HowardSol.agda
05-ProblemSolving.agda		05-ProblemSolving.agda
05-ProblemSolvingSol.agda		05-ProblemSolvingSol.agda
06-Induction.agda		06-Induction.agda
06-InductionSol.agda		06-InductionSol.agda
07-Decidable.agda		07-Decidable.agda
08-WellFounded.agda		08-WellFounded.agda
09-Coinduction.agda		09-Coinduction.agda
10-InsertionSort.agda		10-InsertionSort.agda
11-EquationalReasoning.agda		11-EquationalReasoning.agda
12-Copatterns.agda		12-Copatterns.agda
13-CopatternsEval.agda		13-CopatternsEval.agda
14-InfiniteDescent.agda		14-InfiniteDescent.agda
15-Reflection.agda		15-Reflection.agda
README.md		README.md

Provide feedback