Riff a topic
Type a topic to get associations, rhymes and sound-alikes for puns, plus ten angles to write from.
Means about the same
lambda calculustyped lambda calculustype constructorlambda calculus definitionfirst-order logicbounded quantificationtype theorytheoretical computer sciencelambda cubeparametric polymorphismgeneralized algebraic data typealgebraic data typeintensional logicinductive typeintuitionistic type theorysecond-order arithmeticpolymorphismsecond-order logicflow-sensitive typingstructural type systemaxiom of extensionalityfunctorconstraint logic programmingtype variable
Angles
- What if system f had a customer service line? save
- System f is just a waiting room with better marketing. save
- The worst thing about system f is that nobody admits it's mostly waiting. save
- Imagine system f, but run by your grandma. save
- System f: the mockumentary version. save
- Everyone acts like system f is normal. Explain why it isn't. save
- Write the terms and conditions for system f. save
- System f has a secret union, and it just went on strike. save
- Your grandma discovers system f for the first time. save
- System f if it were invented today and had to pitch investors. save