| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2020-07-02 | Now using the new syntax for variants (even though they still work the old ↵ | Eduardo Julian | 3 | -15/+38 | |
| way... for now) | |||||
| 2020-06-11 | Updated test for function optimization. | Eduardo Julian | 1 | -19/+21 | |
| 2020-05-17 | Local binding names for (co|indexed-)?monads are now explicitly set. | Eduardo Julian | 3 | -6/+5 | |
| 2019-09-07 | Moved polytypic code generators to their own branch. | Eduardo Julian | 3 | -0/+600 | |
