[Agda] darcs patch: Data.Graph.Acyclic: Add a Set annotation (and 3 more)

Nicolas Pouillard nicolas.pouillard at gmail.com
Fri Nov 20 22:39:29 CET 2009


I agree to release my library patches under the library's licence

Fri Nov 20 22:18:32 CET 2009  Nicolas Pouillard <nicolas.pouillard at gmail.com>
  * Data.Graph.Acyclic: Add a Set annotation

Fri Nov 20 22:19:19 CET 2009  Nicolas Pouillard <nicolas.pouillard at gmail.com>
  * Data.Maybe: generalize Maybe using universe polymorphism

Fri Nov 20 22:34:57 CET 2009  Nicolas Pouillard <nicolas.pouillard at gmail.com>
  * Data.List: generalize using universe polymorphism

Fri Nov 20 22:35:18 CET 2009  Nicolas Pouillard <nicolas.pouillard at gmail.com>
  * Remove Data.List1

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 31270 bytes
Desc: A darcs patch for your repository!
Url : http://lists.chalmers.se/pipermail/agda/attachments/20091120/e33f4561/attachment-0001.bin


More information about the Agda mailing list