ZILtoid1991@lemmy.world to Programmer Humor@programming.dev · 23 days agoMeet Potential Languagelemmy.worldimagemessage-square37fedilinkarrow-up1213
arrow-up1213imageMeet Potential Languagelemmy.worldZILtoid1991@lemmy.world to Programmer Humor@programming.dev · 23 days agomessage-square37fedilink
minus-squarebss03@infosec.publinkfedilinkEnglisharrow-up1·15 days 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).