diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-11-14 21:46:40 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-11-14 21:46:40 -0500 |
| commit | 43c5265c24bd1df125f8de00d1f89379a920659a (patch) | |
| tree | fdb435c27c7fa1fdc22c9ca8cf107e52dc094a5c /src/Reflection/MapInterp.v | |
| parent | 4faedd36b571f6c07eab1e348d1df655e1123eda (diff) | |
Support for 128-bit words
I haven't found a good way to genericize the proofs of relatedness
things, mostly because Modules and functors are annoying.
Diffstat (limited to 'src/Reflection/MapInterp.v')
0 files changed, 0 insertions, 0 deletions