"ah, people who want to skip haskell and go straight to idris are funny :)"
-
-
@edwinbrady@ejenk depends on what you care about too. It's simpler to play with dependent types in Idris, but that's ridiculous to say. -
@bitemyapp@ejenk I'd say the type system *is* simpler, but we need to work harder to explain that, and to get the high level language right - 2 more replies
New conversation -
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.