Free Proving Save
Resources for "One Monad to Prove Them All"
Project README
One Monad to Prove Them All
Resources for One Monad to Prove Them All (submitted to <Programming>) by Jan Christiansen, Sandra Dylus and Finn Teegen.
Open Source Agenda is not affiliated with "Free Proving" Project. README Source: ichistmeinname/free-proving
Stars
28
Open Issues
0
Last Commit
5 years ago
Repository
Open Source Agenda Badge
