I have made a new release of Idris: http://idris-lang.org/archives/235 So now other people can actually run my example code...
@bishboria I'm not sure what's going on there, to be honest... if it's still broken on 0.9.6 I'll have a closer look
-
-
@edwinbrady It is really weird! I’m sure it was working when I initially installed it :/ -
@bishboria@edwinbrady what’s the issue? - 7 more replies
New conversation -
-
-
@edwinbrady problem seems to have gone now with 0.9.6! I'll close the issue now. Very, very strange.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady Worked out the *actual* problem. Was naming files after the tutorial section, so had a file called io.idr in the dir… /@cartazioThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady rename that one file & the problem disappeared. Conclusion: I'm an idiot! /@cartazioThanks. 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.