First beta release
Pre-release
Pre-release
Like Idris2, this is still very much experimental. Due to the quick development of Idris, it will also likely get out of sync with the latest version of Idris2.
Like Idris2, this is still very much experimental. Due to the quick development of Idris, it will also likely get out of sync with the latest version of Idris2.