[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