backendenhancementfrontendgood first issueuser requestwide audience
Métricas do repositório
- Stars
- (5.295 stars)
- Métricas de merge de PR
- (Mesclagem média 3d 17h) (16 fundiu PRs em 30d)
Description
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.