diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-08-09 16:04:16 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-08-09 16:04:16 -0400 |
| commit | bdf86255666b015da22dbd7f4c96f54869608f22 (patch) | |
| tree | 6a5af50104e10e75d2fdf157b350d0a7934782f3 /lib/ur/basis.urs | |
| parent | d0f5e6a7ef66c2a4d9f37ac464e36f69687b8132 (diff) | |
Extend Especialize rule: find maximal argument prefixes that end in 1 or more arguments with functional types
Diffstat (limited to 'lib/ur/basis.urs')
0 files changed, 0 insertions, 0 deletions