Using dependent types in Idris to build a valid model and binding that to actual code is brilliant. Me like.
-
-
Ethereum would really like more formality, heh.
-
I feel like it's worth me spending some time to understand that, certainly
- 2 more replies
New conversation -
-
-
I'm trying to grasp enough Idris to write a GraphQL server in it. First I need to get through the book though :)
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.