Hacker News new | ask | show | jobs
by jimbokun 21 days ago
I feel like there was a name for formal specs that produce an exact output, but it escapes me…