@@ -14,7 +14,12 @@ New in 0.9.17:
14 been renamed to (<*) and (*>). The cascading effects of this rename
14 been renamed to (<*) and (*>). The cascading effects of this rename
15 are that Algebra.(<*>) has been renamed to Algebra.(<.>) and
15 are that Algebra.(<*>) has been renamed to Algebra.(<.>) and
16 Matrix.(<.>) is now Matrix.(<:>).
16 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.
18New in 0.9.16:
23New in 0.9.16:
19--------------
24--------------
20* Inductive-inductive definitions are now supported (i.e. simultaneously
25* Inductive-inductive definitions are now supported (i.e. simultaneously