diff options
| author | Son Ho | 2023-06-26 17:38:49 +0200 |
|---|---|---|
| committer | Son Ho | 2023-06-26 17:38:49 +0200 |
| commit | ffdc2f47bc4b21df491e1a2efb6cd19637fb399b (patch) | |
| tree | fc861c403e78a3ef217eadd7b94cdd2e44c2f523 /tests/coq/misc/Primitives.v | |
| parent | 6b319ece09b0f8a02529dd98bc20ffcb843020d6 (diff) | |
Start working on a better encoding of mut rec defs for Diverge
Diffstat (limited to 'tests/coq/misc/Primitives.v')
0 files changed, 0 insertions, 0 deletions