| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
 |
index : lux | |
| fork of https://github.com/LuxLang/lux for my bookshelf |
| aboutsummaryrefslogtreecommitdiff |