Like interactive programming with proof assistants?
-
-
-
Interactive holes and case splits would be super handy in similar situations!
- 2 more replies
New conversation -
-
-
Most of the time I find I know how, it’s just tedious, I want my editor to do it for me. Or something like Dyon’s “current objects”https://github.com/PistonDevelopers/dyon/pull/225 …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I can build one that always tells you to use TLS.
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.