ZILtoid1991@lemmy.world to Programmer Humor@programming.dev · 1 month agoMeet Potential Languageimagemessage-square37linkfedilinkarrow-up1226arrow-down17
arrow-up1219arrow-down1imageMeet Potential LanguageZILtoid1991@lemmy.world to Programmer Humor@programming.dev · 1 month agomessage-square37linkfedilink
minus-squarebss03@infosec.publinkfedilinkEnglisharrow-up1·1 month agoYeah, GRTT wasn’t really invented until 2021. Of course it borrows from many other theories, but it is not easy to fit under existing calculi (tho it can be “lowered” to MLTT).
Yeah, GRTT wasn’t really invented until 2021. Of course it borrows from many other theories, but it is not easy to fit under existing calculi (tho it can be “lowered” to MLTT).