ericfinster/higher-alg

An approach to higher algebra in type theory

Agda