The 2024 Tidelift maintainer report is live! 📊
Read now!
Toggle navigation
Login
GitHub
GitLab
Bitbucket
By logging in you accept
our
terms of service
and
privacy policy
idris-heyting-algebra
tagged releases
v0.2.0
August 17th, 2017 23:26
Browse source on GitHub
View diff between v0.2.0 and v0.1.0
v0.1.0
June 25th, 2017 22:03
Browse source on GitHub
Subscribe to an RSS feed of idris-heyting-algebra releases