aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/text_editor & ide.md (unfollow)
Commit message (Expand)AuthorFilesLines
2019-08-10WIP: JVM function generation.Eduardo Julian1-0/+1
2019-06-18Implemented "hole" typing.Eduardo Julian1-0/+1
2019-06-14Some fixes for the scripting languages.Eduardo Julian1-0/+1
2019-06-13Some fixes.Eduardo Julian1-0/+1
2019-06-01Removed the (magical) "alias" annotations tag.Eduardo Julian1-0/+1
2019-05-28Moved my research notes from Trello to the repo:Eduardo Julian1-0/+1
2019-05-22Removed the (magical) "imports" annotations tag.Eduardo Julian1-0/+4
2019-05-18Moved my research notes from Trello to the repo.Eduardo Julian1-1/+5
2019-05-13More fiddling with types for JVM interop.Eduardo Julian1-1/+5
2019-05-11Moved my research notes on text-editors & IDEs from Trello to the repo.Eduardo Julian1-0/+185