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.
