0.5.7 - ... - ...
+ * code that generates eliminators fixed to use whd ~delta:true
+ when counting products, this allows to used definitions as inductive type
+ ariety.
+ * match ... with rendering fixed to break the box containing
+ constructors arguments if needed (i.e. record projections
+ are now almost readable)
* fixed pattern matching over ast terms, Ast.Case construct can be
matched correctly. Look the o-algebra example if you are
intereseted.