@@ -5,6 +5,9 @@ User visible changes:
55
66* Forward declarations of data allowed
77 - supporting induction recursion and mutually recursive data
8+* Type inference of definitions in 'where' clauses
9+ - Provided that the type can be completely determined from the first
10+ application of the function
811* 'mutual' blocks added
912 - effect is to elaborate all types of declarations in the block before
1013 elaborating their definitions
@@ -14,6 +17,7 @@ User visible changes:
1417* Pattern matching on strings, big integers and characters
1518* Added System.Concurrency modules
1619* Added 'postulate' declarations
20+* Allow type annotations on 'let' tactic
1721
1822Internal changes:
1923