1. 9
    Why prove programs equivalent when your compiler can do that for you? haskell release joachim-breitner.de
    pushcx avatar via pushcx 1 year ago | cached | no comments

  1.