diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-08 16:47:04 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-08 16:47:04 -0500 |
| commit | bf14288c4da80f65aa920b001cf8e3070c8b4c3e (patch) | |
| tree | 2e5e52a6ace73c602ac678a2be5a2f67b2ca39a6 /src/reduce_local.sml | |
| parent | b5cfe6cf7eeff856dc3ddca5ad4b2b5bb894f7ee (diff) | |
Better detection of [let] substitution opportunities
Diffstat (limited to 'src/reduce_local.sml')
0 files changed, 0 insertions, 0 deletions