aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/text_editor & ide.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.
* Some fixes.Eduardo Julian2019-06-131-0/+1
|
* Removed the (magical) "alias" annotations tag.Eduardo Julian2019-06-011-0/+1
|
* Moved my research notes from Trello to the repo:Eduardo Julian2019-05-281-0/+1
| | | | | | + Browser. + Machine learning. + Logic programming. + Transducer | stream | pipe.
* Removed the (magical) "imports" annotations tag.Eduardo Julian2019-05-221-0/+4
|
* Moved my research notes from Trello to the repo.Eduardo Julian2019-05-181-1/+5
| | | | * On math. * On operating systems.
* More fiddling with types for JVM interop.Eduardo Julian2019-05-131-1/+5
|
* Moved my research notes on text-editors & IDEs from Trello to the repo.Eduardo Julian2019-05-111-0/+185