I'm not sure this is something I've been accused of before. But I like to think it has at least a small basis on reality :)https://twitter.com/DrHydeous/status/1108418699852242944 …
-
-
Keep up your ambition! Maybe we'll meet somewhere in the middle. For now I'm focused on using property-based testing to explore a design space and converge on simple abstractions. Later I may want to port some/all of it to Idris or another dependently-typed language.
-
- 3 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.