Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2019-05-22 | Removed the (magical) "imports" annotations tag. | Eduardo Julian | 1 | -0/+4 | |
2019-05-18 | Moved my research notes from Trello to the repo. | Eduardo Julian | 1 | -1/+5 | |
* On math. * On operating systems. | |||||
2019-05-13 | More fiddling with types for JVM interop. | Eduardo Julian | 1 | -1/+5 | |
2019-05-11 | Moved my research notes on text-editors & IDEs from Trello to the repo. | Eduardo Julian | 1 | -0/+185 | |