Pre-release for Idris2 0.6.0

v0.6.0

[ refactor ] proper pack setup (#26)

Release for Idris2, v0.5.1

v0.5.0

[ release ] v0.5.0

v0.4.0

[ release ] new release vor Idris2 version 0.4.0

v0.2.2

[ doc ] updated Idris2 commit

v0.1.1

[ update ] use new package version numbers

Pre-release v0.1.0

First pre-release with core functionality implemented and ready to try out.