DEBSOURCES
Skip Quicknav
Home
Search
Documentation
Stats
About
sources
/
agda-stdlib
/
0.17-1
/
debian
/ source
package info
(click to toggle)
agda-stdlib 0.17-1
links:
PTS
,
VCS
area: main
in suites: buster
size: 2,928 kB
sloc
: haskell: 137; sh: 31; makefile: 21; lisp: 1
Folder: source
.. (parent)
-
rw-r--r--
12
format