From 413835f20f4f8cbcf0c52c2b9a6054f442c49ee3 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Fri, 27 Jan 2023 21:58:58 -0500 Subject: =?UTF-8?q?Compute=20ob=20as=20u=E2=8A=90pr=20in=20all=20compilers?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/bootstrap/boot1.bqn | 2 +- src/bootstrap/boot2.bqn | 2 +- src/c.bqn | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) (limited to 'src') diff --git a/src/bootstrap/boot1.bqn b/src/bootstrap/boot1.bqn index 1a833abd..9397847e 100644 --- a/src/bootstrap/boot1.bqn +++ b/src/bootstrap/boot1.bqn @@ -248,7 +248,7 @@ Parse ← {⟨r,vn,def⟩←𝕨⋄nv←≠vn ta←tr∧2(>∨|)ps(⊢-T)+`¬ro # Train argument (first-level) fa←/(hg∨ta∨ro∨«⊸∨ps∨|)ps(⊢-TT)+`¬ro # Train argument (first-level) fa←/(ta∨ro∨(«∨⊢)psfe∨ff dy←2≠ny←fa⊏2«no⌈2׬(tr∧r≥0)∨ro