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