Topics tagged idris

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