@edwinbrady is such a PRO speaker!
"Type-driven Development of Communicating Systems in Idris" is great intro to TDDhttps://goo.gl/qurwVg
If it can see a decreasing argument, and it covers all cases, yes. Big “if” due to the Halting Problem though :)
-
-
the Entscheidungsproblem because important things sound better in German
-
related:
@ethereumproject "gas" to limit computations
End of conversation
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.