index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
bugs
/
opened
/
3491.v
blob: 9837b0ecb2c022e33660a83b9481e80f3f6cb27a (
plain
)
1
2
Fail Inductive list (A : Type) (T := A) : Type := nil : list A | cons : T -> list T -> list A.