Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Detect duplicate files coming from dependencies. | Eduardo Julian | 2020-12-03 | 1 | -25/+40 |
* | Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the con... | Eduardo Julian | 2020-12-02 | 1 | -4/+4 |
* | Re-named "_.claim" to "_.cover'". | Eduardo Julian | 2020-11-28 | 1 | -2/+2 |
* | Better error messages when re-using a name when making a definition. | Eduardo Julian | 2020-11-24 | 1 | -3/+3 |
* | Added CoMonad for CoFree. | Eduardo Julian | 2020-11-02 | 1 | -0/+118 |