A Crash Course in Idris 2 — Idris2 0.0 documentation
idris2.readthedocs.io