diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-05-16 15:23:39 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-05-16 15:23:39 -0400 |
| commit | 30527475d5c4b03408a8ebadfd7fd4a36f20dff5 (patch) | |
| tree | 103c4c88993bb7d6e8ac3c7ca83316267198f693 /src/Compilers/EtaWf.v | |
| parent | 9480dccb77f9e9312c9159a4c7fca8814bc73433 (diff) | |
Slightly better type for Interp_InterpToPHOAS
Diffstat (limited to 'src/Compilers/EtaWf.v')
0 files changed, 0 insertions, 0 deletions