monoid.space

To visit simply click the link above.

Building

Ensure that agda binary is in path.

./compile.sh

Name		Name	Last commit message	Last commit date
Latest commit History 301 Commits
artwork		artwork
config		config
css		css
html		html
src		src
.gitignore		.gitignore
Dockerfile		Dockerfile
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
bib.bib		bib.bib
compile.sh		compile.sh
header.png		header.png
monoid-space.cabal		monoid-space.cabal
space.png		space.png