@edwinbrady I'm replacing all your pattern matching by traverses and mapshttp://twitch.tv/andrevidela
-
-
either we end up with tidier Inline.idr or with more documentation! :)
-
Oh, if that's where you're currently looking, it's almost certainly just ugly code...
- 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.