1.0.1

• Updated to be compatible with Agda 2.6.4.3 and stdlib 2.0.
• Added missing generic NoConfusion principle.

1.0.0

First release