Topics tagged idris

Topic	Replies	Views	Activity
Idris 2 version 0.6.0 Released Backend News idris , newsbot , official-news	0	578	28 October 2022
Idris 2 version 0.5.1 Released Backend News idris , newsbot , official-news	0	688	20 September 2021
Idris 2 version 0.5.0 Released Backend News idris , newsbot , official-news	0	709	18 September 2021
Idris 2 version 0.4.0 Released Backend News idris , newsbot , official-news	0	779	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	1350	15 February 2021
Idris 2 version 0.3.0 Released Backend News idris , newsbot , official-news	0	876	13 January 2021
Idris 2 version 0.2.2 Released Backend News idris , newsbot , official-news	0	903	12 January 2021
[Official News] Idris 2 version 0.2.1 Released Backend News idris , news , newsbot	1	967	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	1239	29 April 2020