ZILtoid1991@lemmy.world to Programmer Humor@programming.dev · 9 days agoMeet Potential Languagelemmy.worldimagemessage-square33linkfedilinkarrow-up1199arrow-down17
arrow-up1192arrow-down1imageMeet Potential Languagelemmy.worldZILtoid1991@lemmy.world to Programmer Humor@programming.dev · 9 days agomessage-square33linkfedilink
minus-squarebss03@infosec.publinkfedilinkEnglisharrow-up1·19 hours 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).