Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2019-06-18 | Implemented "hole" typing. | Eduardo Julian | 1 | -0/+1 |
2019-06-14 | Some fixes for the scripting languages. | Eduardo Julian | 1 | -0/+1 |
2019-06-06 | WIP: Class definition. | Eduardo Julian | 1 | -0/+1 |
2019-06-01 | Removed the (magical) "alias" annotations tag. | Eduardo Julian | 1 | -0/+6 |
2019-05-29 | Various fixes and tweaks. | Eduardo Julian | 1 | -0/+6 |
2019-05-28 | Moved my research notes from Trello to the repo: | Eduardo Julian | 1 | -1/+4 |
2019-05-18 | Moved my research notes from Trello to the repo. | Eduardo Julian | 1 | -0/+298 |