@edwinbrady I'm replacing all your pattern matching by traverses and mapshttp://twitch.tv/andrevidela
Oh, if that's where you're currently looking, it's almost certainly just ugly code...
-
-
it's alright the goal is simply to show that the idris2 compiler isn't as scary as it seems :)
-
That is good, I have tried to make it not scary, although possibly to a fault in places...
End of conversation
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.