.@edwinbrady We are enjoying your new book at @galois and look forward to using @idrislang for R&D here. Great job! https://smile.amazon.com/Type-driven-Development-Idris-Edwin-Brady/dp/1617293024 …
-
-
Excellent! Cannot wait to see
@galois does! Any questions, do ask.@edwinbrady &@d_christiansen aren't the only researchers using Idris ;-)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.