The 2024 Tidelift maintainer report is live! 📊 Read now!

- GitHub
- GitLab
- Bitbucket
- By logging in you accept
  our terms of service
  and privacy policy

idris2 Releases

0.2.1-alpha.1

September 26th, 2020 16:46

Subscribe to an RSS feed of idris2 releases

Libraries.io helps you find new open source packages, modules and frameworks and keep track of ones you depend upon.

Copyright © 2024 Tidelift, Inc
Code is Open Source under AGPLv3 license
Data is available under CC-BY-SA 4.0 license

Explore

Platforms
Languages
Licenses

About
Team
Terms and Conditions
Privacy Policy
API