backendenhancementfrontendgood first issueuser requestwide audience
Repository-Metriken
- Stars
- (5.295 Sterne)
- PR-Merge-Metriken
- (Durchschn. Merge 5T 12h) (13 gemergte PRs in 30 T)
Beschreibung
The discussion in #586 brings me to the following idea: what about runic as a formatter in Pluto ? Runic.jl has format_string in its public API (see https://github.com/fredrikekre/Runic.jl/pull/127). May be this can be handeled via an opt-in or an opt-out flag in Pluto.run.