aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/text_editor & ide.md (follow)
Commit message (Expand)AuthorAgeFilesLines
* Implemented "hole" typing.Eduardo Julian2019-06-181-0/+1
* Some fixes for the scripting languages.Eduardo Julian2019-06-141-0/+1
* 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
* 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
* 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