idris-functors tagged releases

v0.2.0 July 14th, 2017 12:09 Browse source on GitHub View diff between v0.2.0 and v0.1.0
v0.1.0 July 5th, 2017 10:33 Browse source on GitHub
Subscribe to an RSS feed of idris-functors releases