Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Replaced "contains?" function with "key?" function. | Eduardo Julian | 2020-12-02 | 1 | -3/+3 |
| | |||||
* | Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the ↵ | Eduardo Julian | 2020-12-02 | 1 | -34/+34 |
| | | | | convention that only macros that deal with types may start with a colon. | ||||
* | Re-named "_.claim" to "_.cover'". | Eduardo Julian | 2020-11-28 | 1 | -38/+38 |
| | |||||
* | Better error messages when re-using a name when making a definition. | Eduardo Julian | 2020-11-24 | 1 | -0/+371 |