Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)(personal.cis.strath.ac.uk)93 points by fanf2 1 year ago | 13 comments
![Screenshot of personal.cis.strath.ac.uk: Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)](https://hn.urlbox.com/shots/renders/2025/4/7/b966fe36-a193-47cd-870b-f5488a3783a2.jpg)