Emmanuel Schanzer
Emmanuel Schanzer
@blerner IIRC, we actually have this implemented now, right?
@blerner is this still something that needs exploration?
There seems to have been a lot of work on this, from a number of directions. Still worth keeping open?
Referencing https://github.com/brownplt/pyret-lang/pull/1266, which seems related
@jpolitz Is this still open?
Poking @awstlaur and @jpolitz . Where do we stand on this?
@jpolitz ping
@jpolitz ping
Poking - is this still something we want to track?