0.2

• the use of lazy data structures will now cause a warning (can be disabled by 'AllowLazyData' annotation); this check for lazy data is rather ad hoc and needs to be refined
• allow functions under ticks (but with limitations, see paper)
• strictness transformation is now similar to the 'Strict' language extension
• optimisations using custom rewrite rules

0.1.1.0

• allow mutual guarded recursion
• improve type error messages

0.1.0.0

initial release