release of v0.1

Pre-release

Pre-release

HuStmpHrrr released this 29 Sep 18:26

· 1561 commits to master since this release

7395e7f

This is release v0.1 which depends on agda-stdlib v1.1.

Please note that this library is still under development and the stability of the
library is not guaranteed.

Assets 2