package info (click to toggle)
ghc 9.10.3-3
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 169,076 kB
  • sloc: haskell: 713,554; ansic: 84,184; cpp: 30,255; javascript: 9,003; sh: 7,870; fortran: 3,527; python: 3,228; asm: 2,523; makefile: 2,324; yacc: 1,570; lisp: 532; xml: 196; perl: 111; csh: 2

Folder: core-spec

d .. (parent)
- - rw-r--r-- 64 .gitignore
- - rw-r--r-- 20,200 CoreLint.ott
- - rw-r--r-- 30,506 CoreSyn.ott
- - rw-r--r-- 508 Makefile
- - rw-r--r-- 4,158 OpSem.ott
- - rw-r--r-- 4,038 README
- - rw-r--r-- 26,266 core-spec.mng
- - rw-r--r-- 376,701 core-spec.pdf