@@ -8,6 +8,9 @@ New in 0.9.17:
88* Quasiquotation supports the generation of Language.Reflection.Raw terms
99 in addition to Language.Reflection.TT. Types are used for disambiguation,
1010 defaulting to TT at the REPL.
11+* Language.Reflection.Quotable now takes an extra type parameter which
12+ determines the type to be quoted to. Instances are provided to quote
13+ common types to both TT and Raw.
1114* Library operators have been renamed for consistency with Haskell. In
1215 particular, Applicative.(<$>) is now Applicative.(<*>) and (<$>) is
1316 now an alias for Functor.map. Correspondingly, ($>) and (<$) have
@@ -19,7 +22,7 @@ New in 0.9.17:
1922 Specifically, the rewritten lambda, pi, and let binders will now get
2023 an extra argument of type TTName. This allows more understandable
2124 dynamic errors in DSL code and more readable code generation results.
22−
25+
2326New in 0.9.16:
2427--------------
2528* Inductive-inductive definitions are now supported (i.e. simultaneously