Novel Markup Language Editing System
summary
A browser editor implemented in Elm uses a WebSocket frontend, codemirror for editing, a shift‑reduce tokenizer/parser and a small cloud PDF server that runs pdfLaTeX to turn the same AST into HTML LaTeX and PDF; errors are marked inline yet everything after an error still renders; parsers for MicroLaTeX and XMarkdown map to a shared AST for MicroLaTeX XMarkdown and L0 so one renderer suffices; demo handles a 13,000‑word 40‑page document nearly instantaneously and claims a real-time, fault-tolerant compiler.
AI-written summary · about
chapters (9)
- 0:00Robust parsing and markup
- 3:58Markup language system design
- 8:56Live demo: rendering and errors
- 13:55Enclosure language syntax
- 22:28Parsing pipeline and recovery
- 31:36Parser operation examples
- 38:51Cross-references and accumulators
- 42:42Final demo and features
- 44:09Q&A on errors and plans
related talks
50mMiniLaTeX: Parse LaTeX to HTML
41mMarkdownEditor: The Next Step in Working with Text
40mNew algorithms for collaborative text editing
53mAdventures in Elm: Events, Reproducibility, and Kindness
36mBuilding a Graphical IDE in Elm (...)
35mBuilding a Browser Based Code Editor
37mBuilding a Collaborative Text Editor
46mBuilding a Graphical IDE in Elm/Purescript (...)