Topics tagged idris

Topic	Replies	Views	Activity
Idris 2 version 0.6.0 Released Backend News idris , newsbot , official-news	1	571	28 October 2022
Idris 2 version 0.5.1 Released Backend News idris , newsbot , official-news	1	679	20 September 2021
Idris 2 version 0.5.0 Released Backend News idris , newsbot , official-news	1	702	18 September 2021
Idris 2 version 0.4.0 Released Backend News idris , newsbot , official-news	1	770	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	1342	15 February 2021
Idris 2 version 0.3.0 Released Backend News idris , newsbot , official-news	1	866	13 January 2021
Idris 2 version 0.2.2 Released Backend News idris , newsbot , official-news	1	892	12 January 2021
[Official News] Idris 2 version 0.2.1 Released Backend News news , idris , newsbot	1	958	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	1192	29 April 2020