Functional Python Programming and Verified Functional Programming in Agda are both books teaching functional programming.  Yet the books are about[…]

In lieu of a speaker, we will get gather online for end-of-the-year merrymaking.  BYOB!