A sufficiently detailed spec is code: https://haskellforall.com/2026/03/a-sufficiently-detailed-spec-is-code
Discussion: http://news.ycombinator.com/item?id=47434047
A sufficiently detailed spec is code: https://haskellforall.com/2026/03/a-sufficiently-detailed-spec-is-code
Discussion: http://news.ycombinator.com/item?id=47434047