I've been iterating further on how Garden shows type errors.
For types in the standard library, I'm now showing "a String" but "an Int". I'm also doing basic syntax highlighting of the code excerpt.
What do you think?
It's confusing how 'REPL' refers to two different UIs:
A CLI like IPython or Julia, where things like multiline editing and syntax highlighting need careful implementation.
An editor protocol like SLIME or CIDER where multiline editing is a total non-issue.
I've been playing with Obsidian and having a great time. It's fundamentally a .md editor but it has so many affordances that it feels different. Link autocompletion, highlighting backreferences, polished mobile app.
A lot of teaching resources focus on folder structure, oddly.
Difftastic 0.67 is released!
* Added support for protobuf, improved bash and YAML.
* Updated 16 parsers to the latest upstream version (thanks Antonin Delpeuch!)
* A ton of display polish for word highlighting, alignment, and binary files.