Update, correct, and expand documentation#747

Merged

nicolas-abril merged 19 commits intoHigherOrderCO:mainfrom

In-Veritas:Gabriel_doc

Feb 3, 2025

Commits on Jan 15, 2025

Update, correct, and expand documentation
In-Veritas
committed

Commits on Jan 17, 2025

Apply suggestions from code review

In-Veritas
and
Nicolas Abril
authored
Apply suggestions from code review

In-Veritas
and
Nicolas Abril
authored
Add changes asked by PR Review
In-Veritas
committed
Merge branch 'Gabriel_doc' of https://github.com/In-Veritas/Bend into Gabriel_doc
In-Veritas
committed

Commits on Jan 20, 2025

Commits on Jan 21, 2025

Commits on Jan 23, 2025

Add changes required by PR Review
In-Veritas
committed

Commits on Jan 30, 2025

Add PR Review changes, and Update compilation-and-readback.md
In-Veritas
committed

Commits on Jan 31, 2025

Commits on Feb 3, 2025