"ah, people who want to skip haskell and go straight to idris are funny :)"
-
-
-
-
Replying to @edwinbrady
@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.1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@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 right2 replies 0 retweets 2 likes -
Replying to @bitemyapp
@bitemyapp @ejenk Will keep working on it until it is more obviously true :). Meanwhile, please let us know where the complications are!
4:28 PM - 10 Jul 2014
0 replies
0 retweets
2 likes
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.