https://qura.readthedocs.io/en/latest/ 2026-04-12 https://qura.readthedocs.io/en/latest/language/fold/ 2026-04-12 https://qura.readthedocs.io/en/latest/language/overview/ 2026-04-12 https://qura.readthedocs.io/en/latest/language/prelude/ 2026-04-12 https://qura.readthedocs.io/en/latest/tool/extensions/ 2026-04-12 https://qura.readthedocs.io/en/latest/tool/getting-started/ 2026-04-12 https://qura.readthedocs.io/en/latest/tool/installation/ 2026-04-12 https://qura.readthedocs.io/en/latest/tool/metrics/ 2026-04-12