3 ms·
Once that happens, the world will change :)
by guerrilla 6y ago
Once that happens, the world will change :)
- QuinnWilton 6y agoWadler might argue that linear types being merged changed the world! http://www.cs.ioc.ee/ewscs/2010/mycroft/linear-2up.pdf http://www.cs.ioc.ee/ewscs/2010/mycroft/linear-2up.pdf