"Insanely" dependent type theory. ~1y to grasp DTT, ~4y to push this edge.
no voted pairs yet in this scope
npx slugsocial@latest public garden body ~/eduardorfs-type-theory