Using dependent types in Idris to build a valid model and binding that to actual code is brilliant. Me like.
-
-
Is that not publishable material? Is it too useful in industry?
-
The rejections have been for resolvable issues I think. I just need the right referees. Occupational hazard :).
- 4 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.