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