idris Releases

0.10.1 February 25th, 2016 17:03 Browse source on GitHub View diff between 0.10.1 and 0.9.20
0.10.2 February 27th, 2016 11:02 Browse source on GitHub View diff between 0.10.2 and 0.10.1
0.10.3 March 19th, 2016 16:04 Browse source on GitHub View diff between 0.10.3 and 0.10.2
0.11 March 26th, 2016 03:08
0.11.1 May 2nd, 2016 13:17 Browse source on GitHub View diff between 0.11.1 and 0.10.3
0.11.2 May 18th, 2016 12:49 Browse source on GitHub View diff between 0.11.2 and 0.11.1
0.12 June 21st, 2016 09:24
0.12.1 July 26th, 2016 09:24 Browse source on GitHub View diff between 0.12.1 and 0.11.2
0.12.2 August 4th, 2016 17:24 Browse source on GitHub View diff between 0.12.2 and 0.12.1
0.12.3 September 18th, 2016 14:25 Browse source on GitHub View diff between 0.12.3 and 0.12.2
0.1.3 January 26th, 2015 00:31
0.1.3.1 January 26th, 2015 00:31
0.1.4 January 26th, 2015 00:31
0.1.5 January 26th, 2015 00:31
0.1.7 January 26th, 2015 00:31
0.1.7.1 January 26th, 2015 00:31
0.9.0 January 26th, 2015 00:31
0.9.1 January 26th, 2015 00:31
0.9.10 January 26th, 2015 00:31 Browse source on GitHub
0.9.10.1 January 26th, 2015 00:31
0.9.11 January 26th, 2015 00:31 Browse source on GitHub View diff between 0.9.11 and 0.9.10
0.9.11.1 January 26th, 2015 00:31
0.9.11.2 January 26th, 2015 00:31
0.9.12 January 26th, 2015 00:31 Browse source on GitHub View diff between 0.9.12 and 0.9.11
0.9.13 January 26th, 2015 00:31 Browse source on GitHub View diff between 0.9.13 and 0.9.12
0.9.13.1 January 26th, 2015 00:31
0.9.14 January 26th, 2015 00:31 Browse source on GitHub View diff between 0.9.14 and 0.9.13
0.9.14.1 January 26th, 2015 00:31
0.9.14.2 January 26th, 2015 00:31
0.10 January 21st, 2016 00:03

Subscribe to an RSS feed of idris releases