Comment Comment by riskable This is the URL I'm sending people to when I want to point out just how far domain-specific gibberish can go. Or just to mess with people..."I was looking for an experimental proof assistant for synthetic ∞-categories and stumbled across this awesome project...""It's wicked cool! It uses a version of second-order abstract syntax which is great for lambda extraction."The project description sounds like something that MIT automated gibberish research paper generator would come up with. parent riskable 3 years ago
"I was looking for an experimental proof assistant for synthetic ∞-categories and stumbled across this awesome project..."
"It's wicked cool! It uses a version of second-order abstract syntax which is great for lambda extraction."
The project description sounds like something that MIT automated gibberish research paper generator would come up with.