Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | WIP: JVM function generation. | Eduardo Julian | 2019-08-10 | 1 | -0/+1 |
| | |||||
* | Implemented "hole" typing. | Eduardo Julian | 2019-06-18 | 1 | -0/+1 |
| | |||||
* | Some fixes for the scripting languages. | Eduardo Julian | 2019-06-14 | 1 | -0/+1 |
| | | | + Small optimizations for pattern-matching generation. | ||||
* | Some fixes. | Eduardo Julian | 2019-06-13 | 1 | -0/+1 |
| | |||||
* | Removed the (magical) "alias" annotations tag. | Eduardo Julian | 2019-06-01 | 1 | -0/+1 |
| | |||||
* | Moved my research notes from Trello to the repo: | Eduardo Julian | 2019-05-28 | 1 | -0/+1 |
| | | | | | | + Browser. + Machine learning. + Logic programming. + Transducer | stream | pipe. | ||||
* | Removed the (magical) "imports" annotations tag. | Eduardo Julian | 2019-05-22 | 1 | -0/+4 |
| | |||||
* | Moved my research notes from Trello to the repo. | Eduardo Julian | 2019-05-18 | 1 | -1/+5 |
| | | | | * On math. * On operating systems. | ||||
* | More fiddling with types for JVM interop. | Eduardo Julian | 2019-05-13 | 1 | -1/+5 |
| | |||||
* | Moved my research notes on text-editors & IDEs from Trello to the repo. | Eduardo Julian | 2019-05-11 | 1 | -0/+185 |