On the map
Tap a claim on the ring to put it at the centre.
← The connection between representations and types may be fundamentally…
At the centre The connection between representations and types may be fundamentally significant, akin to links among geometry, logic, topology and functional programming. Last stated 3 Sept 2015 · 11 years ago Holds Christopher Olah Read this korrent →