ooohhhh SCOPE ERROR in Idris!
Your code most likely still has an error, but there is a bit more hope that it'll tell you what it is...
-
-
indeed! that is why I am currently compiling Blodwen and hoping it will tell me.
-
that reminds me, I must bump my Idris head. I haven't done that for an age! Which is a sign (to a certain extent) of Idris' stability.
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.