I'll wait to merge this until #232 (and other substantial outstanding PRs?) are merged in.
In the meantime, @sonologico, whenever you have a chance, let me know if you are OK with these formatting, or if you have strong feelings by a different config.
.ocamlformat
configI'll wait to merge this until #232 (and other substantial outstanding PRs?) are merged in.
In the meantime, @sonologico, whenever you have a chance, let me know if you are OK with these formatting, or if you have strong feelings by a different config.