.@edwinbrady just in time for @d_christiansen's intro course here today!http://galois.com/blog/2015/01/tech-talk-dependently-typed-functional-programming-idris-1-3/ …
-
-
-
@galoisinc Yes,@d_christiansen prodded me just in time :)
End of conversation
New conversation -
-
-
@edwinbrady woohoo! is there a particular commit to use for eg updating homebrew/macports formulae? -
@acfoltzer There's a tag "v0.9.16" if that helps… you need to set the "release" flag in idris.cabal too. - 2 more replies
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.