aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/math.md (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Implemented "hole" typing.Eduardo Julian2019-06-181-0/+1
|
* Some fixes for the scripting languages.Eduardo Julian2019-06-141-0/+1
| | | + Small optimizations for pattern-matching generation.
* WIP: Class definition.Eduardo Julian2019-06-061-0/+1
|
* Removed the (magical) "alias" annotations tag.Eduardo Julian2019-06-011-0/+6
|
* Various fixes and tweaks.Eduardo Julian2019-05-291-0/+6
|
* Moved my research notes from Trello to the repo:Eduardo Julian2019-05-281-1/+4
| | | | | | + Browser. + Machine learning. + Logic programming. + Transducer | stream | pipe.
* Moved my research notes from Trello to the repo.Eduardo Julian2019-05-181-0/+298
* On math. * On operating systems.