Adam Sampson's type-theory bookmarkshttps://bookmarks.offog.org/ats/type-theoryAdam Sampson2015-03-22T21:02:10ZPEP 483 - The Theory of Type Hints | Python.orghttps://bookmarks.offog.org/edit?url=https%3A%2F%2Fwww.python.org%2Fdev%2Fpeps%2Fpep-0483%2F2015-03-22T21:02:10ZA type-theoretic approach to Python -- good to see!