I see via twitter that at least four people are now going to http://www.thestrangeloop.com/2015/idris-practical-software-verification-with-dependent-types.html … - anyone else want to join the fun?
-
-
@edwinbrady I learned a lot last time. Hope I get more time to spend on Idris in future.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.