ooohhhh SCOPE ERROR in Idris!
Cor, you must be doing something entertaining... (Blodwen doesn't do this. It tracks scopes properly :))
-
-
's/entertaining/stupid/' then yes. I think this is the Universe telling me to use Blodwen...
-
Your code most likely still has an error, but there is a bit more hope that it'll tell you what it is...
- 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.