monoid.space
monoid.space copied to clipboard
ixaxaar
Learn pure math with agda :rocket:
monoid.space
To visit simply click the link above.
Building
Ensure that agda binary is in path.
./compile.sh
ixaxaar