"ah, people who want to skip haskell and go straight to idris are funny :)"
-
-
@edwinbrady@ejenk I could be convinced of that. -
@bitemyapp@ejenk Will keep working on it until it is more obviously true :). Meanwhile, please let us know where the complications are!
End of conversation
New conversation -
-
-
@edwinbrady@ejenk it's worth keeping in mind that many of the problems with DT PLs are what's wrong with Idris.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.