I'd better get on with it then… https://www.manning.com/books/type-driven-development …
-
-
@edwinbrady@yalogar My thesis does give the first sound way to add holes to a type theory without changing the theory. Earlier holes buggy. -
@pigworker Interesting thesis. Math font invisible in Adobe Reader Touch 3.1, fuzzy in windows10 Reader app. OK in Chrome & Android adobe ap - 1 more reply
New conversation -
-
-
@edwinbrady@yalogar And it certainly wasn't my idea. I learned it from Pollack's LEGO system, but it was surely in the Constructive Engine.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.