Closed GoogleCodeExporter closed 9 years ago
Original comment by nathan.c...@gmail.com
on 30 Dec 2010 at 2:55
I think these are straightforward, but let me ask about implementation
strategy in case anyone has a better/different idea:
* For wildcards: create (?) wildCardName that allocates a *fresh* Name
that prints as "_". Is this already provided by RepLib?
* For simple arrows: convert A -> B to (_:A) -> B.
I'll mark the issues as "started" if/when I actually start, so, if
anyone else is dieing to implement these, don't let me stop you.
Original comment by nathan.c...@gmail.com
on 31 Dec 2010 at 11:06
Original comment by vilhelm....@gmail.com
on 2 Jan 2011 at 6:53
Original comment by vilhelm....@gmail.com
on 2 Jan 2011 at 10:09
Original issue reported on code.google.com by
nathan.c...@gmail.com
on 30 Dec 2010 at 2:52