Bookmark · 19 March 2026, 12:17

Haskell for all: A sufficiently detailed spec is code

• ml-coding