The last version before 191

v0.8.0

[ narc ] Some parser fixes

v0.6.2

[ voile ] Remove deprecated syntax, optimize imports

v0.6.1

[ changelog ]

v0.6.0

[ gradle ] Versioning stuffs

v0.5.3

[ desc ] Update

v0.5.1

[ voile ] Annotator

v0.5.0

[ cubicaltt ] Folding builder

v0.4.2

[ cubical ] Fix

v0.4.1

[ agda ] Fix AST creation

v0.4.0

[ agda ] Implicit arguments