@@ -5,6 +5,9 @@ User visible changes:
6* Forward declarations of data allowed
6* Forward declarations of data allowed
7 - supporting induction recursion and mutually recursive data
7 - 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
8* 'mutual' blocks added
11* 'mutual' blocks added
9 - effect is to elaborate all types of declarations in the block before
12 - effect is to elaborate all types of declarations in the block before
10 elaborating their definitions
13 elaborating their definitions
@@ -14,6 +17,7 @@ User visible changes:
14* Pattern matching on strings, big integers and characters
17* Pattern matching on strings, big integers and characters
15* Added System.Concurrency modules
18* Added System.Concurrency modules
16* Added 'postulate' declarations
19* Added 'postulate' declarations
20+* Allow type annotations on 'let' tactic
18Internal changes:
22Internal changes: