from Hacker News

Are Correctness Conditions Descriptive or Prescriptive?

by dbrumbaugh on 2/20/25, 9:42 PM with 0 comments