backendenhancementfrontendgood first issueuser requestwide audience
Repository-Metriken
- Stars
- (5.295 Stars)
- PR-Merge-Metriken
- (Durchschn. Merge 3T 17h) (16 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.