~ubuntu-branches/ubuntu/wily/agda-stdlib/wily-proposed
Viewing all changes in revision 9.
-
Committer:
Package Import Robot
-
Author(s):
Iain Lane
-
Date:
2013-05-27 19:29:25 UTC
-
mfrom:
(8.1.1 experimental)
-
Revision ID:
package-import@ubuntu.com-20130527192925-q2tadfousmn0xeav
Tags: 0.7-2
Upload to unstable
-
src/Category/Monad/Partiality
-
debian/agda-stdlib.install
*
expand all
collapse all
Show diffs side-by-side
added
removed