@@ -19,3 +19,14 @@ Complete rewrite. User visible changes:
19* Replaced 'do using' with Monad class
19* Replaced 'do using' with Monad class
20* Extended syntax macros
20* Extended syntax macros
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.
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).