7 ms·
TTOP? Do you mean TTFP?
by mogoh 1y ago
TTOP? Do you mean TTFP?
- quchen 1y agoTAPL, I meant TAPL (Types and Programming languages by Pierce)! This would not have happened with a well-typed comment section. I mixed up OP's book (which is nice as well!) and the abbreviation. Sorry!
- deleted 1y ago[deleted]