Folder: source

package info (click to toggle)

agda 2.6.1-1

links: PTS, VCS
area: main
in suites: bullseye
size: 9,880 kB
sloc: haskell: 91,965; lisp: 3,545; yacc: 2,048; javascript: 1,059; perl: 15; makefile: 14

				.. (parent)
	-	rw-r--r--	12	format