r21-2
homotopy type theory
ring 21 · position 2 · 60.0°
glossolalia
curry-howard
univalence
anticipation
the word for world is forest
the present has no width
euler's identity
the map that is the territory
← center
·
← home