Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Changed the format of project descriptor files. | Eduardo Julian | 2020-09-16 | 3 | -5/+5 |
| | |||||
* | Download and catch dependencies in Aedifex. | Eduardo Julian | 2020-08-26 | 1 | -2/+2 |
| | |||||
* | Now using the new syntax for variants (even though they still work the old ↵ | Eduardo Julian | 2020-07-02 | 3 | -15/+38 |
| | | | | way... for now) | ||||
* | Updated test for function optimization. | Eduardo Julian | 2020-06-11 | 1 | -19/+21 |
| | |||||
* | 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 |