@@ -14,7 +14,12 @@ New in 0.9.17:
1414 been renamed to (<*) and (*>). The cascading effects of this rename
1515 are that Algebra.(<*>) has been renamed to Algebra.(<.>) and
1616 Matrix.(<.>) is now Matrix.(<:>).
17−
17+* Binding forms in DSL notation are now given an extra argument: a
18+ reflected representation of the name that the user chose.
19+ Specifically, the rewritten lambda, pi, and let binders will now get
20+ an extra argument of type TTName. This allows more understandable
21+ dynamic errors in DSL code and more readable code generation results.
22+
1823New in 0.9.16:
1924--------------
2025* Inductive-inductive definitions are now supported (i.e. simultaneously