Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2019-06-18 | Implemented "hole" typing. | Eduardo Julian | 1 | -0/+5 | |
2019-06-01 | Removed the (magical) "alias" annotations tag. | Eduardo Julian | 1 | -0/+1 | |
2019-05-24 | Removed the (magical) "export?" annotations tag. | 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 my research notes from Trello to the repo. | Eduardo Julian | 1 | -0/+5 | |
* On math. * On operating systems. | |||||
2019-05-17 | Forgot to actually compile the methods. Now doing so. | Eduardo Julian | 1 | -3/+2 | |
2019-05-16 | Some type casting/coercion automation. | Eduardo Julian | 1 | -0/+1 | |
2019-05-11 | Moved my research notes on databases from Trello to the repo. | Eduardo Julian | 1 | -0/+441 | |