package info (click to toggle)
coq-doc 8.2pl1-1
  • links: PTS, VCS
  • area: non-free
  • in suites: squeeze
  • size: 19,240 kB
  • ctags: 22,737
  • sloc: ml: 132,933; ansic: 1,960; sh: 1,366; lisp: 456; makefile: 327

Folder: checker

d .. (parent)
- - rw-r--r-- 3,051 .depend
- - rw-r--r-- 2,059 Makefile
- - rw-r--r-- 13,411 check.ml
- - rw-r--r-- 1,908 check_stat.ml
- - rw-r--r-- 609 check_stat.mli
- - rw-r--r-- 12,288 checker.ml
- - rw-r--r-- 34,719 closure.ml
- - rw-r--r-- 6,224 closure.mli
- - rw-r--r-- 20,966 declarations.ml
- - rw-r--r-- 6,297 declarations.mli
- - rw-r--r-- 5,732 environ.ml
- - rw-r--r-- 2,686 environ.mli
- - rw-r--r-- 4,628 include
- - rw-r--r-- 20,232 indtypes.ml
- - rw-r--r-- 1,444 indtypes.mli
- - rw-r--r-- 33,227 inductive.ml
- - rw-r--r-- 2,959 inductive.mli
- - rw-r--r-- 26 main.ml
- - rw-r--r-- 13,999 mod_checking.ml
- - rw-r--r-- 11,386 modops.ml
- - rw-r--r-- 2,291 modops.mli
- - rw-r--r-- 15,578 reduction.ml
- - rw-r--r-- 1,999 reduction.mli
- - rw-r--r-- 4,670 safe_typing.ml
- - rw-r--r-- 974 safe_typing.mli
- - rw-r--r-- 14,416 subtyping.ml
- - rw-r--r-- 800 subtyping.mli
- - rw-r--r-- 16,561 term.ml
- - rw-r--r-- 4,511 term.mli
- - rw-r--r-- 3,805 type_errors.ml
- - rw-r--r-- 3,585 type_errors.mli
- - rw-r--r-- 14,144 typeops.ml
- - rw-r--r-- 1,030 typeops.mli
- - rw-r--r-- 5,606 validate.ml