summaryrefslogtreecommitdiff
path: root/tests/badInline.ur
Commit message (Collapse)AuthorAge
* Tweaking treatment of function application: substitute or introduce a 'let'?Gravatar Adam Chlipala2012-08-05
|
* Revert last changeset for now; needs more thoughtGravatar Adam Chlipala2012-08-05
|
* Tweaking treatment of function application: substitute or introduce a 'let'?Gravatar Adam Chlipala2012-08-05