DEBSOURCES
Skip Quicknav
Home
Search
Documentation
Stats
About
sources
/
agda-stdlib
/
0.6-2
/
debian
/ source
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
Folder: source
.. (parent)
-
rw-r--r--
12
format