Category theory, or polymorphism, or something else
Jan 13, 2014 · 7:00 PM
Tikhon's been doing a great job of picking topics and explaining them. Thanks to his efforts, I finally get continuations, and I have a much firmer grasp of the Curry-Howard correspondence. Let's keep going!