diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-07-12 20:41:51 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-07-12 20:42:00 -0400 |
| commit | e3b69200fae4bc11fa9843b1123884e7aef9d6a8 (patch) | |
| tree | 386dd9885c1f8e50fea0eb0bd13d9f796dccb0a6 /_CoqProject | |
| parent | a9086dc1863e4ee193c7f591a878b0cfeb601712 (diff) | |
tuple: applying functions to tuples of arbitrary length
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions