Permalink
Browse files

Update CHANGELOG

  • Loading branch information...
1 parent 0a61aa0 commit 22f40c1f0adb48e85cfadcfdebd99549564262ab Edwin Brady committed Jan 16, 2012
Showing with 11 additions and 0 deletions.
  1. +11 −0 CHANGELOG
View
@@ -19,3 +19,14 @@ Complete rewrite. User visible changes:
* Replaced 'do using' with Monad class
* Extended syntax macros
+Internal changes:
+
+* Everything :-)
+* All definitions (functions, classes and instances) are elaborated to top
+ level, fully explicit, data declarations and pattern matching definitions,
+ which are verified by a minimal type checker.
+
+This is the first release of a complete reimplementation. There will be bugs.
+If you find any, please do not hesitate to contact Edwin Brady
+(ecb10@st-andrews.ac.uk).
+

0 comments on commit 22f40c1

Please sign in to comment.