From bbda5e4cd79c524aaa0efb9bd4e020f2ea04e043 Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Sat, 12 Sep 2026 03:55:06 +0700 Subject: [PATCH] Point the reader at the two scripts, so the page's claim about itself is testable "Every program below was run" is the kind of assurance nobody can act on. Naming check.sh and quotes.sh turns it into something a reader can re-run, and says plainly that a disagreement makes one of them go red. --- web/index.html | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/web/index.html b/web/index.html index 55889f1..c5846e9 100644 --- a/web/index.html +++ b/web/index.html @@ -154,7 +154,11 @@ process at its next frame boundary, in about twenty milliseconds.

This page describes the compiler as it is, not as it is planned. Where something is designed but not built, it says so and gives the message the compiler -prints. Every Flan program below was run.

+prints for it. Every Flan program on this page is a file in web/examples/ +with its output recorded beside it; sh web/examples/check.sh runs them all +and compares, and quotes.sh re-derives the blocks that are transcripts +rather than programs. If the page and the compiler disagree, one of those two goes +red.