@@ -8,6 +8,10 @@ New in 0.9.14:
88* Allow dependent function syntax to be overridden in dsl blocks, similarly to
99 functions and let. The keyword for this is "pi".
1010* Experimental 'neweffects' library, with simplified API
11+* Quasiquotes and quasiquote patterns allow easier work with reflected terms.
12+ `(EXPR) quasiquotes EXPR, causing the elaborator to be used to produce a reflected
13+ version of it. Subterms prefixed with ~ are unquoted - on the RHS, they are reflected
14+ terms to splice in, while on the LHS they are patterns.
1115
1216New in 0.9.13:
1317--------------