From c05a5a7e990e25b982396303f47f3473580dda24 Mon Sep 17 00:00:00 2001 From: Elizabeth Alexander Hunt Date: Wed, 25 Feb 2026 22:34:32 -0800 Subject: Minor string updates --- src/toys/godel/index.html | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'src/toys/godel/index.html') diff --git a/src/toys/godel/index.html b/src/toys/godel/index.html index 678d56a..50a680a 100644 --- a/src/toys/godel/index.html +++ b/src/toys/godel/index.html @@ -10,15 +10,13 @@

Gödel Numbering

-

"Compile" L into JS and explore the source Gödel encodings.

-

L Source

- +
-- cgit v1.3