idris

Topic Replies Views Activity
Idris 2 version 0.6.0 Released
Backend News
idris ,  newsbot ,  official-news
1 91 28 October 2022
Idris 2 version 0.5.1 Released
Backend News
idris ,  newsbot ,  official-news
1 325 20 September 2021
Idris 2 version 0.5.0 Released
Backend News
idris ,  newsbot ,  official-news
1 337 18 September 2021
Idris 2 version 0.4.0 Released
Backend News
idris ,  newsbot ,  official-news
1 388 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 773 15 February 2021
Idris 2 version 0.3.0 Released
Backend News
idris ,  newsbot ,  official-news
1 512 13 January 2021
Idris 2 version 0.2.2 Released
Backend News
idris ,  newsbot ,  official-news
1 516 12 January 2021
[Official News] Idris 2 version 0.2.1 Released
Backend News
news ,  idris ,  newsbot
1 513 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 690 29 April 2020