@@ -8,6 +8,9 @@ New in 0.9.17:
8* Quasiquotation supports the generation of Language.Reflection.Raw terms
8* Quasiquotation supports the generation of Language.Reflection.Raw terms
9 in addition to Language.Reflection.TT. Types are used for disambiguation,
9 in addition to Language.Reflection.TT. Types are used for disambiguation,
10 defaulting to TT at the REPL.
10 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.
11* Library operators have been renamed for consistency with Haskell. In
14* Library operators have been renamed for consistency with Haskell. In
12 particular, Applicative.(<$>) is now Applicative.(<*>) and (<$>) is
15 particular, Applicative.(<$>) is now Applicative.(<*>) and (<$>) is
13 now an alias for Functor.map. Correspondingly, ($>) and (<$) have
16 now an alias for Functor.map. Correspondingly, ($>) and (<$) have
@@ -19,7 +22,7 @@ New in 0.9.17:
19 Specifically, the rewritten lambda, pi, and let binders will now get
22 Specifically, the rewritten lambda, pi, and let binders will now get
20 an extra argument of type TTName. This allows more understandable
23 an extra argument of type TTName. This allows more understandable
21 dynamic errors in DSL code and more readable code generation results.
24 dynamic errors in DSL code and more readable code generation results.
23New in 0.9.16:
26New in 0.9.16:
24--------------
27--------------
25* Inductive-inductive definitions are now supported (i.e. simultaneously
28* Inductive-inductive definitions are now supported (i.e. simultaneously