Resources for One Monad to Prove Them All (submitted to <Programming>) by Jan Christiansen, Sandra Dylus and Finn Teegen.
ichistmeinname/free-proving
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Resources for One Monad to Prove Them All (submitted to <Programming>) by Jan Christiansen, Sandra Dylus and Finn Teegen.
