diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-05-21 20:10:36 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-05-21 23:08:58 -0400 |
| commit | 60c83608df9ef701ad559381288931dd61749f38 (patch) | |
| tree | 1c23087942417412b87ec60dcedf301f6044d935 /src/Experiments/SimplyTypedArithmetic.v | |
| parent | 8ac227a2e1b13ee5a24fd6a892208996338476c3 (diff) | |
Move function argument out of fixpoint of List.map2
This allows us to make use of nested fixpoints involving map2, because
the function argument can be inlined for guard checking now.
Diffstat (limited to 'src/Experiments/SimplyTypedArithmetic.v')
0 files changed, 0 insertions, 0 deletions