Giters

ixaxaar / monoid.space

Learn pure math with agda :rocket:

Home Page:http://monoid.space

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

abstract-algebraagdaalgebraic-geometrycategory-theoryhomotopy-type-theorytype-theory

intro

monoid.space

To visit simply click the link above.

Building

Ensure that agda binary is in path.

./compile.sh

About

Learn pure math with agda :rocket:

http://monoid.space

abstract-algebraagdaalgebraic-geometrycategory-theoryhomotopy-type-theorytype-theory

License:Apache License 2.0

Languages

Language:HTML 97.3%Language:CSS 2.1%Language:TeX 0.4%Language:Shell 0.2%Language:Makefile 0.0%