backendenhancementfrontendgood first issueuser requestwide audience
Repository metrics
- Stars
- (5,295 個のスター)
- PR merge metrics
- (平均マージ 5d 12h) (30d で 13 merged PRs)
説明
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.