Viewing all changes in revision 1.1.4.
- Committer: Package Import Robot
- Date: 2011-12-30 20:02:46 UTC
- mto: (8.1.1 experimental)
- mto: This revision was merged to the branch mainline in revision 7.
- Revision ID: package-import@ubuntu.com-20111230200246-o9gb088ep2hmb706
Import upstream version 0.6
- files added:
- README/Integer.agda
- src/Data/Integer/Addition
- src/Data/Integer/Multiplication
- files removed:
- README.txt
- files modified:
- Everything.agda
expand all
collapse all
added
removed
