The new Idris release also includes a ":watch" command, like sbt's "~compile", to auto re-check your code on changeshttps://twitter.com/edwinbrady/status/689954865347436544 …
@pdxleif I've added that to the page. I just copy things in from the change log...
-
-
@edwinbrady I should've added it to the changelog. Wasn't even sure it'd be something people would want, at first.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.