See https://crates.io/crates/redpen
Dunno if that project will end up being interesting, but in the meantime, this name is a almost identical to that one.
Note: crate living will located under the above link.
See https://crates.io/crates/redpen
Dunno if that project will end up being interesting, but in the meantime, this name is a almost identical to that one.
Note: crate living will located under the above link.