Hasochism: The Pleasure and Pain of Dependently Typed Haskell Programming (via fanf) — discussion
#haskell #pdf
