GitHub - stop-cran/idris-groups: Groups as T-algebras and group presentations.

stop-cran / idris-groups Public

Groups as T-algebras and group presentations.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.vscode		.vscode
.gitignore		.gitignore
FreeGroup.idr		FreeGroup.idr
Groups.idr		Groups.idr
MonadComposition.idr		MonadComposition.idr
MonadSwap.idr		MonadSwap.idr
Monomorphism.idr		Monomorphism.idr
MorphismEqual.idr		MorphismEqual.idr
Oriented.idr		Oriented.idr