GitHub - kevinclancy/mclambda: Embedding monotonicity coeffects into agda

Agda version 2.6.0

Standard library version 1.1

Name		Name	Last commit message	Last commit date
Latest commit History 87 Commits
FreeSemilattice		FreeSemilattice
SemilatKinding		SemilatKinding
.gitignore		.gitignore
BoolPoset.agda		BoolPoset.agda
Deltas.agda		Deltas.agda
Dictionary.agda		Dictionary.agda
DiscreteDelta.agda		DiscreteDelta.agda
FinPoset.agda		FinPoset.agda
FreeForgetfulAdjunction.agda		FreeForgetfulAdjunction.agda
FreeSemilattice.agda		FreeSemilattice.agda
IVar.agda		IVar.agda
Kinding.agda		Kinding.agda
PosetScalars.agda		PosetScalars.agda
PreorderArrows.agda		PreorderArrows.agda
Preorders.agda		Preorders.agda
RelationalStructures.agda		RelationalStructures.agda
Scalars.agda		Scalars.agda
SemKinding.agda		SemKinding.agda
SemScalars.agda		SemScalars.agda
SemTyping.agda		SemTyping.agda
SemilatIso.agda		SemilatIso.agda
Syntax.agda		Syntax.agda
Typing.agda		Typing.agda
UnitPoset.agda		UnitPoset.agda
Util.agda		Util.agda
readme.md		readme.md

kevinclancy/mclambda