package info (click to toggle)
elpi 2.0.7-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 50,296 kB
  • sloc: ml: 18,791; makefile: 229; python: 95; sh: 7

Folder: suite

d .. (parent)
- - rw-r--r-- 990 builtins.ml
- - rw-r--r-- 7,736 correctness_FO.ml
- - rw-r--r-- 7,104 correctness_HO.ml
- - rw-r--r-- 92 dune
- - rw-r--r-- 1,942 elpi_api.ml
- - rw-r--r-- 1,237 elpi_api_performance.ml
- - rw-r--r-- 14,716 elpi_specific.ml
- - rw-r--r-- 2,541 performance_FO.ml
- - rw-r--r-- 945 performance_HO.ml
- - rw-r--r-- 21,386 suite.ml
- - rw-r--r-- 1,876 suite.mli