File: watch

package info (click to toggle)
agda-stdlib 0.6-2
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 1,520 kB
  • sloc: haskell: 105; makefile: 12; lisp: 1
file content (3 lines) | stat: -rw-r--r-- 143 bytes parent folder | download
1
2
3
version=3

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary http://www.cse.chalmers.se/~nad/software/lib-(.*).tar.gz