We publish our audit record because accuracy claims should be checkable. Every entry on this site runs through an automated fact-audit pipeline (accuracy audit → source-grounded repair → visual QA); this page is generated from that pipeline's own report, not written by hand.
Last full accuracy audit: 2026-09-01 · 7 entries checked · 1 flagged · 1 issues confirmed · 1 corrected · 0 still open
Combinatory logic — The entry states that Unlambda uses only the S and K combinators augmented with character input/output, but Unlambda is based on the SKI combinator calculus and includes additional built-in combinators and primitives beyond just S, K, and character I/O.
All content is fetchable as JSON at /data/content/ · llms.txt · sitemap
Spotted an error? Suggest an edit — reader reports go straight into the audit queue.