Ghosts of Departed Proofs (via fanf) — discussion

#haskell #pdf