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/+3 | |
2019-06-01 | Removed the (magical) "alias" annotations tag. | Eduardo Julian | 1 | -0/+1 | |
2019-05-29 | Various fixes and tweaks. | Eduardo Julian | 1 | -0/+1 | |
2019-05-23 | Moved my research notes from Trello to the repo: | Eduardo Julian | 1 | -0/+177 | |
+ Documentation. + Game programming. + Probabilistic programming. + Build systems. |