DEBSOURCES
Skip Quicknav
Home
Search
Documentation
Stats
About
sources
/
haskell-copilot-theorem
/
4.5-1
/ tests
package info
(click to toggle)
haskell-copilot-theorem 4.5-1
links:
PTS
,
VCS
area: main
in suites: forky, sid
size: 396 kB
sloc
: haskell: 4,326; makefile: 6
Folder: tests
.. (parent)
d
rwxr-xr-x
28
Test
-
rw-r--r--
378
Main.hs