diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-06-02 15:43:18 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-06-02 15:43:18 -0400 |
| commit | 1fd04be40e1f4885753a269b898d1bd11d24672d (patch) | |
| tree | 21f39be7fbc2225c46cc3c4c36d1aae274d1382f /lib/ur/list.ur | |
| parent | e103ad374e8cb7ea52e27c517fca761b9810028a (diff) | |
Tweak -- precedence; use right env for final exhaustiveness errors
Diffstat (limited to 'lib/ur/list.ur')
0 files changed, 0 insertions, 0 deletions