backendenhancementfrontendgood first issueuser requestwide audience
倉庫指標
- Star
- (5,295 star)
- PR 合併指標
- (平均合併 3天 17小時) (30 天內合併 16 個 PR)
描述
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.