Updated Changelog

A-Infinite · Mar 28, 2012 · 3c2bc69 · 3c2bc69
1 parent 95ef935
commit 3c2bc69
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/Changelog b/Changelog
@@ -1,3 +1,11 @@
+2012-03-28:  Changed representation of streams to provably satisfy
+             computational complexity guarantees.
+
+             Thanks to Arthur Charguéraud <[email protected]> for
+             pointing out this issue!
+
+2006-03-29:  Removed superfluous thunking of "empty" values in polymorphic
+
 2006-03-29:  Removed superfluous thunking of "empty" values in polymorphic
              datastructures due to relaxed value restriction in new
              OCaml-releases.