diff options
| author | Brian Campbell | 2018-08-12 15:23:22 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-08-12 15:23:22 +0100 |
| commit | 67b48947300cf4ac5f792dc31436cb241a4c7126 (patch) | |
| tree | f0cab2cbb017ac2957ccd494f053b9c522d35452 /lib | |
| parent | 3f2205e552d850c5eb128f4763ea0e4016e43ad2 (diff) | |
Coq: handle enums in binders, make top-level patterns exhaustive
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions