@jonsterling Agda isn't either. It's just that when your types are that complex, you _want_ all the help you can get when writing code :)
@copumpkin @jonsterling You can do that with Idris too. But it's not as easy (yet...). Competition is healthy :).
-
-
@edwinbrady@copumpkin@jonsterling I look forward to the evolution (and hopefully helping out a smidge if I can)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.