diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-01-04 13:15:58 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-01-04 13:15:58 -0800 |
| commit | 156cfbcc3f013a2d97a667ef4815d30a75af51ff (patch) | |
| tree | 8bf817204951adefbb74b2b9dae1c50046ecb49b /Util/latex | |
| parent | 47b6e86f21d25ee5323860236041162253c84c8d (diff) | |
Dafny: compile let expressions efficiently (i.e., with an extra variable, not with a substitution)
Diffstat (limited to 'Util/latex')
0 files changed, 0 insertions, 0 deletions