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/ …
-
-
Thanks. I just updated to 1.2 but I was unsure whether I should have ^__^”
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.