Using dependent types in Idris to build a valid model and binding that to actual code is brilliant. Me like.
-
-
Their current mistakes are the simple avoidable ones. But a system learns and then the mistakes will be subtle.
-
It's taking me a while to get my head around all the implications of dependent types, but it feels like it will be very worth it in the end
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.