Skip to content

Releases: idris-lang/idris-tutorial

Tutorial to accompy Idris v0.9.15.1

28 Oct 13:54
Compare
Choose a tag to compare
Merge pull request #47 from jfdm/release

Bumped release number for version.