For those at MGS (and indeed interested people who aren't) I'm putting course materials at https://www.idris-lang.org/documentation/workshops/mgs-2018-course-materials/ …
-
-
I've updated the page to say what you need - latest Idris + the Atom plugin, basically.
-
Thanks. I just updated to 1.2 but I was unsure whether I should have ^__^”
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.