2 ms·
Oh, I get the importance of type theory in general. I hadn’t run into Martin-Lof before.
by wduquette 1y ago
Oh, I get the importance of type theory in general. I hadn’t run into Martin-Lof before.
- grumpymuppet 1y agoAhh, sorry, yeah. This stuff is classic. "Old" even.