diff options
author | Eduardo Julian | 2019-06-18 23:19:23 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-06-18 23:19:23 -0400 |
commit | 75e6f7ad181d398b818367fdc5e86b1542d1bc0a (patch) | |
tree | d0ea084f2d9f35876d4ab383d3830445588ee323 /documentation/research/text_editor & ide.md | |
parent | 4bf2dce01f51a5b0be76a587f877d1227c3982ae (diff) |
Implemented "hole" typing.
Diffstat (limited to 'documentation/research/text_editor & ide.md')
-rw-r--r-- | documentation/research/text_editor & ide.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/documentation/research/text_editor & ide.md b/documentation/research/text_editor & ide.md index c1cdde62b..433644c7a 100644 --- a/documentation/research/text_editor & ide.md +++ b/documentation/research/text_editor & ide.md @@ -42,6 +42,7 @@ # Reference +1. [Why ContentEditable is Terrible](https://medium.engineering/why-contenteditable-is-terrible-122d8a40e480) 1. [Broot: A better way to navigate directories](https://github.com/Canop/broot) 1. https://www.simplethread.com/editor-plugins-belong-in-lock-file/ 1. [How to Design an IDE-Friendly Language with Peter Gromov @donnerpeter](https://www.youtube.com/watch?v=lubc8udiP_8) |