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