Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2019-03-14 | Now allowing the alias of a module to refer to the alias of an ancestor. | Eduardo Julian | 1 | -8/+8 |
2019-02-24 | Improved the names of monad transformers. | Eduardo Julian | 1 | -1/+1 |
2019-02-05 | Integrated tests into normal source code. | Eduardo Julian | 1 | -0/+0 |
2019-02-04 | Changed the naming style for structures. | Eduardo Julian | 1 | -5/+5 |
2019-02-03 | Added "forge" and "use" functions for working with capabilities. | Eduardo Julian | 1 | -2/+4 |
2019-02-03 | Improved syntax for domains/parallel-import-trees. | Eduardo Julian | 1 | -1/+1 |
2019-02-03 | Relative imports can now alter the start of a path. | Eduardo Julian | 1 | -26/+29 |
2019-02-02 | Ported some old tests to the new format. | Eduardo Julian | 1 | -26/+25 |
2018-12-28 | Added equivalences. | Eduardo Julian | 1 | -27/+28 |
2018-12-28 | Re-organized the class machinery. | Eduardo Julian | 1 | -13/+13 |
2018-12-28 | Added machinery for methods. | Eduardo Julian | 1 | -9/+14 |
2018-12-26 | Tests for bytecode generation. | Eduardo Julian | 1 | -0/+79 |