Minor documentation touch-up #61

Closed

aanastasiou wants to merge 3 commits intoBogdanp:masterfrom

aanastasiou:review_docs

Commits on Jul 27, 2025

Minor documentation touch-up by transfering useful snippets from the FUNARCH23 publication to the documentation, adding links to github and a simple citation to the FUNARCH23 paper.
aanastasiou
committed

Commits on Jul 28, 2025

Minor typos flagged in the notes of the PR and addition of the bibliography section in Quickstart
aanastasiou
committed
Correction of the quickstart.scrbl lost indentation of codeblocks
aanastasiou
committed