Hacker News new | ask | show | jobs
by monopede 5202 days ago
Small correction: "Plankalkül" which translates to "plan calculus"