Read news on Hasochism with our app.
Read more in the app
Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)