Readable Was a Stand-in for Trust

Readable was a stand-in for trust

Thirteen lines of deliberately obfuscated Haskell, rebuilt token by token as the TypeScript explanation, then checked against its output. Translation is the demo. Verification is the point.

HaskellTypeScript
readable → explainable
input: "banana"f("banana") → "aaabnn"f("banana") === "aaabnn" · passes
Can you read this?Bubble sort, explained.Readable was a stand-in for trust.
Speed
Format
Loop