idris v0.99.2

Version Release Notes from March 26, 2017 (about 7 years ago)

« Changelog History

idris v0.99.2 Release Notes

Release Date: 2017-03-26 // about 7 years ago

No data yet 😐
You can check the official repo

Awesome Haskell is part of the LibHunt network. Terms. Privacy Policy.