Topics tagged idris

Topic	Replies	Views	Activity
Idris 2 version 0.6.0 Released Backend News (official) idris , newsbot , official-news	0	590	28 October 2022
Idris 2 version 0.5.1 Released Backend News (official) idris , newsbot , official-news	0	700	20 September 2021
Idris 2 version 0.5.0 Released Backend News (official) idris , newsbot , official-news	0	714	18 September 2021
Idris 2 version 0.4.0 Released Backend News (official) idris , newsbot , official-news	0	793	23 June 2021
Typing is Hard In The News in-the-news , typing , c-plus-plus , c-sharp , f-sharp , go , haskell , java , ml , ocaml , rust , scala , swift , typescript , elm , idris , zig	0	1366	15 February 2021
Idris 2 version 0.3.0 Released Backend News (official) idris , newsbot , official-news	0	890	13 January 2021
Idris 2 version 0.2.2 Released Backend News (official) idris , newsbot , official-news	0	916	12 January 2021
[Official News] Idris 2 version 0.2.1 Released Backend News (official) idris , news , newsbot	1	977	25 November 2020
Seven More Languages in Seven Weeks (PragProg) General Learning Resources julia , lua , elixir , pragprog , published-book , factor , elm , minikanren , idris , book-seven-more-languages-in-seven-weeks	0	1366	29 April 2020