@@ -19,3 +19,14 @@ Complete rewrite. User visible changes:
1919* Replaced 'do using' with Monad class
2020* Extended syntax macros
2121
22+Internal changes:
23+
24+* Everything :-)
25+* All definitions (functions, classes and instances) are elaborated to top
26+ level, fully explicit, data declarations and pattern matching definitions,
27+ which are verified by a minimal type checker.
28+
29+This is the first release of a complete reimplementation. There will be bugs.
30+If you find any, please do not hesitate to contact Edwin Brady
31+(ecb10@st-andrews.ac.uk).
32+