dirty-haskell.org
: events
It's not crazy — it's having fun with types.
On the Design of a Turing-Complete Appointment Book
A Monad Encoding Co-Total Lists Admitting Cutoff-Rules