Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2019-06-18 | Implemented "hole" typing. | Eduardo Julian | 1 | -0/+1 | |
2019-06-13 | Some fixes. | Eduardo Julian | 1 | -0/+4 | |
2019-06-06 | WIP: Class definition. | Eduardo Julian | 1 | -0/+1 | |
2019-05-29 | Various fixes and tweaks. | Eduardo Julian | 1 | -0/+1 | |
2019-05-19 | Moved my research notes from Trello to the repo: | Eduardo Julian | 1 | -0/+1 | |
+ Debugging + Distributed programming + Web frameworks + Native compilation | |||||
2019-05-18 | Moved some of the reflection machinery to its own modules. | Eduardo Julian | 1 | -0/+2 | |
* WIP: Implementation of completeness testing for anonymous classes. | |||||
2019-05-18 | Moved my research notes from Trello to the repo. | Eduardo Julian | 1 | -0/+253 | |
* On math. * On operating systems. |