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

Tutorial to accompy Idris v0.9.15.1

Latest

Latest

jfdm released this 28 Oct 13:54

· 25 commits to master since this release

ec4a400

Merge pull request #47 from jfdm/release

Bumped release number for version.

Assets 2