diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-03-21 13:56:46 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-03-21 19:51:48 -0400 |
| commit | e865bf2fefada709110a6f626a6b447e244a81b4 (patch) | |
| tree | 8109e119286f58d1e42a5e55fa992ffb9ea12268 /etc | |
| parent | df9223b12bba6dd064bc7fc05ba64139a252d69d (diff) | |
s/partial reduction/partial evaluation/
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions