I really don't like the way scoping works in Idris. I feel like it tries to do too much automagically & just fails to understand what I mean
@eisaru Well, you don't have to like them… but I'm not convinced the example you ranted about is doing what you think, so I'd like to see it
-
-
@eisaru all it does automatically is bind names, and you can turn that off…
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.