I wrote a toy dep-typed prog lang and I'm struggling to add metavars/implicit args. Any recommended reading on the subject? @edwinbrady
-
-
@strout Also Ulf's thesis: http://www.cse.chalmers.se/~ulfn/papers/thesis.pdf …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.