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