io.github.mmhelloworld:idris-jvm Releases

0.7.1-rc.1 August 12th, 2024 22:15 Browse source on GitHub View diff between 0.7.1-rc.1 and 0.7.0
0.7.0 July 15th, 2024 04:12 Browse source on GitHub View diff between 0.7.0 and 0.6.0
0.6.0.11 March 21st, 2024 03:45
0.6.0.6 February 12th, 2024 00:08
0.6.0.5 February 9th, 2024 02:55
0.6.0.4 March 28th, 2023 19:32
0.6.0.3 March 24th, 2023 03:56
0.6.0.2 March 15th, 2023 13:49
0.6.0.1 March 13th, 2023 15:53
0.6.0 February 27th, 2023 00:54 Browse source on GitHub View diff between 0.6.0 and 0.6.0-rc.1
0.6.0-rc.1 February 26th, 2023 19:59 Browse source on GitHub View diff between 0.6.0-rc.1 and 0.5.1
0.5.1.2 February 25th, 2023 06:59
0.5.1.1 February 25th, 2023 04:41
0.5.1 June 15th, 2022 03:35 Browse source on GitHub
0.0.1.5 June 14th, 2022 21:43
0.0.1.4 June 14th, 2022 17:53

Subscribe to an RSS feed of io.github.mmhelloworld:idris-jvm releases