@@ -10,6 +10,12 @@ New in 0.9.12:
10* New commands :eval (:e) and :type (:t) in the prover, which either normalise
10* New commands :eval (:e) and :type (:t) in the prover, which either normalise
11 or show the type of expressions
11 or show the type of expressions
12* Allow type providers to return postulates in addition to terms
12* 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
14New in 0.9.11:
20New in 0.9.11:
15--------------
21--------------