3 ms·
Idris was always filed in my head as some estoric/academic/obscure thing, will have a look at it.
by wirrbel 4y ago
Idris was always filed in my head as some estoric/academic/obscure thing, will have a look at it.
- bmitc 4y agoI actually think it's probably less academic than Haskell or Racket. It's intended to be a practical language that people build things with. It just has an advanced type system and a small community.