218
Meet Potential Language
(lemmy.world)
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 23 Jun 2026
218 points (100.0% liked)
Programmer Humor
32322 readers
275 users here now
Welcome to Programmer Humor!
This is a place where you can post jokes, memes, humor, etc. related to programming!
For sharing awful code theres also Programming Horror.
Rules
- Keep content in english
- No advertisements
- Posts must be related to programming or programmer topics
founded 3 years ago
MODERATORS
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).