idris

Topic Replies Views Activity
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
1 130 15 February 2021
Idris 2 version 0.3.0 Released
Backend News
idris ,  newsbot ,  official-news
1 96 13 January 2021
Idris 2 version 0.2.2 Released
Backend News
idris ,  newsbot ,  official-news
1 98 12 January 2021
[Official News] Idris 2 version 0.2.1 Released
Backend News
idris ,  news ,  newsbot
1 128 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 204 29 April 2020