GitHub - oisdk/agda-playground

This is a repo for snippets of Agda code that aren't big enough to be their own projects.

The highlighted, clickable code is available at oisdk.github.io/agda-playground/Everything.html

Name		Name	Last commit message	Last commit date
Latest commit History 837 Commits
.github/workflows		.github/workflows
Algebra		Algebra
Categories		Categories
Choose		Choose
Codata		Codata
Container		Container
Control		Control
Data		Data
Demos		Demos
Function		Function
HITs		HITs
Hyper		Hyper
Lens		Lens
Literals		Literals
Path		Path
Relation		Relation
Strict		Strict
TreeFold		TreeFold
WellFounded		WellFounded
scripts		scripts
.gitignore		.gitignore
Algebra.agda		Algebra.agda
Applicative.agda		Applicative.agda
BCK.agda		BCK.agda
Categories.agda		Categories.agda
Choose.agda		Choose.agda
Classical.agda		Classical.agda
Container.agda		Container.agda
Equiv.agda		Equiv.agda
Function.agda		Function.agda
Graphs.agda		Graphs.agda
HLevels.agda		HLevels.agda
Hyper.agda		Hyper.agda
HyperFalse.agda		HyperFalse.agda
HyperPositive.agda		HyperPositive.agda
Inspect.agda		Inspect.agda
Instance.agda		Instance.agda
Karatsuba.agda		Karatsuba.agda
LICENSE		LICENSE
Lambda.agda		Lambda.agda
Lens.agda		Lens.agda
Level.agda		Level.agda
LexPerm.agda		LexPerm.agda
Noetherian.agda		Noetherian.agda
Palindrome.agda		Palindrome.agda
Path.agda		Path.agda
PiCalc.agda		PiCalc.agda
Prelude.agda		Prelude.agda
README.md		README.md
Stack.agda		Stack.agda
Strict.agda		Strict.agda
Subsets.agda		Subsets.agda
Testers.agda		Testers.agda
Traversable.agda		Traversable.agda
TraversalsMake.agda		TraversalsMake.agda
TreeFold.agda		TreeFold.agda
WellFounded.agda		WellFounded.agda
agda-playground.agda-lib		agda-playground.agda-lib
style.css		style.css

Provide feedback