diff options
author | Jason Gross <jgross@mit.edu> | 2017-10-17 22:37:26 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-10-18 11:02:14 -0400 |
commit | a426187067726ecb0362aabe12c3877166e427a0 (patch) | |
tree | af46a607b5f63c5d6ecf034bef7d4d20a10007d2 /src/Util/ZUtil/Peano.v | |
parent | b5c975c9b5a7cf522d9bd94a7843b96d91f64a9b (diff) |
Allow instantiating type arguments without reducing matches
Diffstat (limited to 'src/Util/ZUtil/Peano.v')
0 files changed, 0 insertions, 0 deletions