diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-09-09 08:00:45 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-09 08:00:45 -0400 |
| commit | 8a79a264fe8f5f349b7ad546ec8024bc0e7585a0 (patch) | |
| tree | fc23a2be12e6d03e8be7f8754278784feaf45839 /demo/listShop.urs | |
| parent | d6d496a5720290dd26c7c738199667c6c1a67e6a (diff) | |
Don't replace <sc> in blob returns; optimize more 'option' pattern matches; detect more opportunities for 'let' inlining
Diffstat (limited to 'demo/listShop.urs')
0 files changed, 0 insertions, 0 deletions