Using dependent types in Idris to build a valid model and binding that to actual code is brilliant. Me like.
-
-
I'm just doing door open and close. And ringing bells! But I do see many applications of this.
-
Ah yes. I think that generalises to so many interesting problems. One day I hope the paper on it will not be rejected ;).
- 6 more replies
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.