Mateo Lafalce 412ebcb125 docs: add Efficiency Formalization page (#221) ...

* Add Efficiency Formalization

* update eff.md && bach.md

* update eff.md

* update literal pipes

* docs: overhaul some wording

* docs: credit @mateolafalce as author

* chore: deps update

* docs: updates

---------

Co-authored-by: Johann Schopplich <mail@johannschopplich.com>

2025-11-28 07:51:08 +01:00

344 B

Raw Blame History

View Raw