@edwinbrady Heya, sorry to bother, I was wondering if there was a paper or publication somewhere of a list of problems people are working on in dependent types. You’re the first person who came to mind.
-
-
...how to make type checking fast enough (
@andrasKovacs6 is doing some good stuff here!); what kind of interactive editing support can we come up with. I expect I'll think of some more :).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.