dunham 7 hours ago The tool used for this site is Jon Sterling's "forester": https://sr.ht/~jonsterling/forester/His motivation for building it is described here: https://www.forester-notes.org/tfmt-0001/index.xml
ferguswhite 2 hours ago I saw the title and thought “I remember Liam O’Connor giving a lecture series on this for TypeSIG” - PL really is tiny…
discarded1023 5 hours ago Thanks for the link. Is there anything new in these notes? They are cleanly presented but look like the greatest hits up to about 1982. Is there anything in there about reasoning about domains? e.g. what Andy Pitts made hay out of in the 1990s.
The tool used for this site is Jon Sterling's "forester": https://sr.ht/~jonsterling/forester/
His motivation for building it is described here: https://www.forester-notes.org/tfmt-0001/index.xml
I saw the title and thought “I remember Liam O’Connor giving a lecture series on this for TypeSIG” - PL really is tiny…
Thanks for the link. Is there anything new in these notes? They are cleanly presented but look like the greatest hits up to about 1982. Is there anything in there about reasoning about domains? e.g. what Andy Pitts made hay out of in the 1990s.