Well, in Agda or Idris have you found the requirement for top-level type declarations to be an impediment?
-
-
useful bits of type inference aren't even out of the question, occasionally. I know it's not ready right now but...
-
let's have some imagination about where languages and tools might go if we let go of how current tools trade things off
- 4 more replies
New conversation -
-
This Tweet is unavailable.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.