diff options
| author | Brian Campbell | 2018-06-07 18:00:59 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-08 15:03:37 +0100 |
| commit | 7cdbee76d454047271ef6cdaa82a2b7e2ed590ba (patch) | |
| tree | c0f6e3843758e009551c9de53afbe227ed3df31f /lib/main.ml | |
| parent | dda8dd8689ea4756c41a5bb36a123b564dfb0b12 (diff) | |
Coq: add destructuring of atom existentials in patterns
Plus test case, broken builtin name
Diffstat (limited to 'lib/main.ml')
0 files changed, 0 insertions, 0 deletions