package info (click to toggle)
coq-deriving 0.2.2-2
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 256 kB
  • sloc: ml: 28; makefile: 22

Folder: tests

d .. (parent)
- - rw-r--r-- 2,213 mutual.v
- - rw-r--r-- 1,775 nested.v
- - rw-r--r-- 705 records.v
- - rw-r--r-- 5,277 syntax.v
- - rw-r--r-- 962 three.v
- - rw-r--r-- 1,011 tree.v