3 ms·Hasochism: The Pleasure and Pain of Dependently Typed Haskell Programming [pdf]3 points by fanf2 2y ago