Haskell for all: A sufficiently detailed spec is code
kept by eddie
The article argues that specifications must become code-like to be precise, making agentic coding unreliable; even detailed specs like Symphony's fail to produce working implementations.