Folder: source

package info (click to toggle)

agda 2.6.2.2-1.1

links: PTS, VCS
area: main
in suites: bookworm
size: 7,476 kB
sloc: haskell: 92,133; lisp: 3,590; yacc: 2,087; javascript: 319; perl: 15; makefile: 14

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