| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Ported JVM reference generation to the new JVM bytecode machinery. | Eduardo Julian | 2019-07-31 | 1 | -0/+2 |
| | | |||||
| * | Small improvements here and there. | Eduardo Julian | 2019-07-24 | 1 | -0/+13 |
| | | |||||
| * | Implemented "hole" typing. | Eduardo Julian | 2019-06-18 | 1 | -0/+1 |
| | | |||||
| * | Some fixes. | Eduardo Julian | 2019-06-13 | 1 | -0/+3 |
| | | |||||
| * | Removed the (magical) "alias" annotations tag. | Eduardo Julian | 2019-06-01 | 1 | -0/+1 |
| | | |||||
| * | Various fixes and tweaks. | Eduardo Julian | 2019-05-29 | 1 | -0/+1 |
| | | |||||
| * | Moved my research notes from Trello to the repo: | Eduardo Julian | 2019-05-23 | 1 | -0/+177 |
| + Documentation. + Game programming. + Probabilistic programming. + Build systems. | |||||
