ixaxaarmonoid.space

Learn pure math with agda :rocket:

intro

monoid.space

To visit simply click the link above.

Building

Ensure that agda binary is in path.

./compile.sh