tchajed/coq-hlist
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Coq heterogeneous lists library
3 commits 1 branch 0 tags 31 KiB
  • Rocq Prover 66.1%
  • Makefile 33.9%
Find a file
Exact
Tej Chajed 8ba2282464
 Add Travis badge
2018-11-20 12:27:46 -06:00
src Initial version with hget and happ 2018-11-20 12:25:09 -06:00
.gitignore Initial version with hget and happ 2018-11-20 12:25:09 -06:00
.travis.yml Add Travis config 2018-11-20 12:25:58 -06:00
libname Initial version with hget and happ 2018-11-20 12:25:09 -06:00
Makefile Initial version with hget and happ 2018-11-20 12:25:09 -06:00
README.md Add Travis badge 2018-11-20 12:27:46 -06:00

README.md

Coq heterogeneous lists

Build Status

Basic library for heterogeneous lists.

Heterogeneous lists are quite tricky to implement and use correctly; this library will not aim to be complete for sophisticated use cases.