Browse files

+ Readme update

  • Loading branch information...
1 parent 3234e35 commit 1ce3da7a21f39300246dfd7fd8238982e8b49cfb @Averethel committed Mar 31, 2013
Showing with 8 additions and 0 deletions.
  1. +8 −0 README.md
View
8 README.md
@@ -5,6 +5,14 @@ Implementation of OCamlMin language based on min-caml project.
Changelog
=========
+* 31 III 2013
+ * α-conversion on typed AST
+ * β-reduction on typed AST
+ * Nested let flattening on typed AST
+ * Inlining on typed AST
+ * Constant folding on typed AST
+ * Eliminating unused definitions on typed AST
+ * Closure conversion on typed AST
* 29 III 2013
* K-Normalized syntax is now type annotated
* K-Normalization works on typed AST

0 comments on commit 1ce3da7

Please sign in to comment.