Name		Name	Last commit message	Last commit date
Latest commit History 188 Commits
Adjoint/Instance		Adjoint/Instance
Category		Category
Cospan		Cospan
Data		Data
DecorationFunctor		DecorationFunctor
FinMerge		FinMerge
Functor		Functor
Lattice		Lattice
Morphism		Morphism
Nat		Nat
NaturalTransformation		NaturalTransformation
Object		Object
Preorder		Preorder
SplitIdempotents		SplitIdempotents
racket/circuits		racket/circuits
tiny		tiny
.gitignore		.gitignore
Coeq.agda		Coeq.agda
FinMerge.agda		FinMerge.agda
LICENSE		LICENSE
README.md		README.md