Hacker News new | ask | show | jobs
by mogoh 256 days ago
TTOP? Do you mean TTFP?
1 comments

TAPL, 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!