A collection of samples in Agda
Agda Other
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
CmdLang
Partial
SmallStep
commutative-monoids
containers
extended-demo
protocols
.gitignore
01-Demo.agda
01-DemoSol.agda
02-PropEq.agda
03-DoubleInjective.agda
04-Curry-Howard.agda
04-Curry-HowardSol.agda
05-ProblemSolving.agda
05-ProblemSolvingSol.agda
06-Induction.agda
06-InductionSol.agda
07-Decidable.agda
08-WellFounded.agda
09-Coinduction.agda
10-InsertionSort.agda
11-EquationalReasoning.agda
12-Copatterns.agda
13-CopatternsEval.agda
14-InfiniteDescent.agda
15-Reflection.agda
README.md

README.md

A collection of samples in Agda