Types and Functions — Idris 1.3.1 documentationLinkShared 11 September 2019@StiffUpperHip docs.idris-lang.org ↗