From 8a09d52e8fdecae0bcf76e680d624c4d944b015d Mon Sep 17 00:00:00 2001 From: Brummel Date: Sun, 10 May 2026 11:14:18 +0200 Subject: [PATCH] Fix typo in CLAUDE.md: "Source is" -> "Source of truth is" --- CLAUDE.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CLAUDE.md b/CLAUDE.md index 502016b..4f3f756 100644 --- a/CLAUDE.md +++ b/CLAUDE.md @@ -2,8 +2,8 @@ AILang's only author is an LLM, not a human. It is designed for: -- **Machine readability over human readability.** Source is structured - data (`.ail.json`), not text. +- **Machine readability over human readability.** Source of truth is + structured data (`.ail.json`), not text. - **Local reasoning.** Every definition carries its full type and effect set, so a signature can be trusted without reading the body. - **Provability.** Pure core, explicit algebraic effects.