feat(style) add alternatives: trailing pipe and meta arrow assumptions

isabelle-prover / conventions

https://isabelle.systems/conventions/

MIT License

2 stars 4 forks source link

Closed kappelmann closed 4 years ago

kappelmann commented 4 years ago

Incorporates parts of the feedback from #8 If more things should be added, add them to this PR.