GitHub - gergoerdi/cubical-freemonoids: Free monoids take a price HIT

Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
lib @ 80e2322		lib @ 80e2322
.gitignore		.gitignore
.gitmodules		.gitmodules
Figs.hs		Figs.hs
FreeHIT.lagda.md		FreeHIT.lagda.md
Makefile		Makefile
header.tex		header.tex
ken.jpg		ken.jpg
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock
universal.jpg		universal.jpg