Hacker News new | ask | show | jobs
by Smaug123 3282 days ago
Sure. PPTXTM+unbounded is to PPTXTM as C-with-integers is to C, and as Python is to Python-whose-specification-limits-it-to-boundedly-many-objects.