Releases · idris-lang/idris-tutorial · GitHub

This repository was archived by the owner on Nov 1, 2025. It is now read-only.

28 Oct 13:54

jfdm

Tutorial to accompy Idris v0.9.15.1 Latest

Latest

Merge pull request #47 from jfdm/release

Bumped release number for version.

Assets 2