search

sweirich / trellys

Automatically exported from code.google.com/p/trellys
46 stars 6 forks source link

Add inferred arguments #22

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Applications to underscores, e.g.
  (a _) 
should parse into a new syntactic form, 
  (IApp a)
and the pre-Core => Core elaborator should use some local matching to figure 
out what the underscore should be.

Original issue reported on code.google.com by vilhelm....@gmail.com on 4 Jul 2011 at 8:31