tranny demon hacker on Nostr: all of those different logics wadler puts up there? they're rooted in different ...
all of those different logics wadler puts up there? they're rooted in different _judgments_
you can see this better in the correspondence that Frank Pfenning puts up on the board at his OPLSS lectures a few years before Wadler's talk
its JUDGMENTS that give us different logics, and then we internalize them into other judgments (often `A true` but not always)
the magic is in the judgmental fragments
you can see this better in the correspondence that Frank Pfenning puts up on the board at his OPLSS lectures a few years before Wadler's talk
its JUDGMENTS that give us different logics, and then we internalize them into other judgments (often `A true` but not always)
the magic is in the judgmental fragments