Make mkApps etc infix, and left-associative
authorsimonpj@microsoft.com <unknown>
Wed, 26 Jul 2006 12:18:07 +0000 (12:18 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 26 Jul 2006 12:18:07 +0000 (12:18 +0000)

No differences found