Resources for One Monad to Prove Them All (Functional Pearl) (submitted to <Programming>) by Jan Christiansen, Sandra Dylus and Finn Teegen.
mukeshtiwari / free-proving Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ichistmeinname/free-proving
Resources for "One Monad to Prove Them All"