diff options
| author | James Pollard <james@pollard.dev> | 2020-06-13 21:36:32 +0100 |
|---|---|---|
| committer | James Pollard <james@pollard.dev> | 2020-06-13 21:36:32 +0100 |
| commit | 21ae45cd03f7d38b1ef12270307274a9ee370e17 (patch) | |
| tree | a65ba5919cbf7ab2bb26615f5bf4603373681153 /_CoqProject | |
| parent | a5285149c7b89721d80138d3274bd04e7ca34168 (diff) | |
| download | vericert-kvx-21ae45cd03f7d38b1ef12270307274a9ee370e17.tar.gz vericert-kvx-21ae45cd03f7d38b1ef12270307274a9ee370e17.zip | |
Add a basic length-indexed list type.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions