unbelievably, I've just signed a piece of (metaphorical) paper that says I'm going to get paid to help verify software and write proofs in Idris

-
-
I've heard as much: hoping we get to talk at some point :)
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.