frugel
frugel copied to clipboard
cdfa
An error-tolerant live programming environment (my Master's thesis)
Since the structure editor requires a parser for the document language, integration with text-based tools is easier than usual. An LSP server could work in the background to support other...
Currently, the programming environment does not support languages with I/O, which would be necessary for any real-world language. Combining I/O with live programming is challenging because running code automatically may...
When we use the empty construction site syntax `...` in a construction site that contains a syntax error (e.g. `(...`), the cursor is moved back 3 spaces. This happens because...
Starting point here: https://github.com/hazelgrove/stepper-paper/blob/master/main.pdf
- [ ] Does shrinking of expressions even work currently? - [ ] Test extended linearization-parsing isomorphism: linearize -> parse = linearize -> parse -> linearize -> parse - [...
Less boiler plate for small actions and generally seems to be thought through better than miso.
E.g. `dump` and `recover-rtti`