Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Local binding names for (co|indexed-)?monads are now explicitly set. | Eduardo Julian | 2020-05-17 | 3 | -6/+5 | |
| | ||||||
* | Moved polytypic code generators to their own branch. | Eduardo Julian | 2019-09-07 | 3 | -0/+600 | |