@@ -10,6 +10,12 @@ New in 0.9.12:
1010* New commands :eval (:e) and :type (:t) in the prover, which either normalise
1111 or show the type of expressions
1212* Allow type providers to return postulates in addition to terms
13+* New syntax for inline documentation. Documentation starts with |||, and
14+ arguments are documented by preceding their name with @. Example:
15+||| Add two natural numbers
16+||| @ n the first number (examined by the function)
17+||| @ m the second number (not examined)
18+plus (n, m : Nat) -> Nat
1319
1420New in 0.9.11:
1521--------------