3 ms·
Out of curiosity, have you talked to your dad about typed FP/type theory/Curry-Howard etc.? If so how did that go?
by yawaramin 7y ago
Out of curiosity, have you talked to your dad about typed FP/type theory/Curry-Howard etc.? If so how did that go?
- TheAsprngHacker 7y agoNo, I haven't talked to him about this stuff.