4 ms·
Oops! Good catch. I'm not an expert - I read "tangled type theory" once and "TTT" about 75 times....
by nicklecompte 2y ago
Oops! Good catch. I'm not an expert - I read "tangled type theory" once and "TTT" about 75 times....
loading thread…
4 ms·