@@ -12,6 +12,8 @@ New in 0.9.19:
12* Compiler output shows applications of >>= in do-notation
12* Compiler output shows applications of >>= in do-notation
13* fromInteger i where i is an integer constant is now shown just as i in
13* fromInteger i where i is an integer constant is now shown just as i in
14 compiler output
14 compiler output
15+* An interactive shell, similar to the prover, for running reflected elaborator
16+ actions. Access it with :elab from the REPL.
16New in 0.9.18:
18New in 0.9.18:
17--------------
19--------------