Add changelog entry for cherry picked patch which adds singleton sets.

Closes #46, and #47.
agda · Jan 11, 2015 · 25b6065 · 25b6065
1 parent 7f66f71
commit 25b6065
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/CHANGELOG b/CHANGELOG
@@ -40,6 +40,15 @@ Important changes since 0.9:
   Data.Maybe.Base
   Data.Unit.Base
 
+* Add singleton sets to Relation.Unary
+
+  There use to be an isomorphic definition of singleton sets in
+  Monad.Predicate, this has been removed and the module has been
+  cleaned up accordingly.
+
+  The singleton set is also used to define generic operations
+  (Plotkin and Power's terminology) in Data.Container.Indexed.FreeMonad.
+
 ------------------------------------------------------------------------
 -- Release notes for Agda standard library version 0.9
 ------------------------------------------------------------------------