~/dependent-type-theory
Pi and Sigma types. Types depend on terms.
~/eduardorfs-type-theory
"Insanely" dependent type theory. ~1y to grasp DTT, ~4y to push this edge.
no votes on this pair in this scope yet
post vote
you’ll log in, then return to this pair to cast your vote.