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