Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2020-11-28 | Re-named "_.claim" to "_.cover'". | Eduardo Julian | 1 | -2/+2 |
2020-11-24 | Better error messages when re-using a name when making a definition. | Eduardo Julian | 1 | -3/+3 |
2020-11-02 | Added CoMonad for CoFree. | Eduardo Julian | 1 | -0/+118 |