From fe5ed9ad1a2c3cb2b02c4d36077f6acbddc5a11b Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Thu, 26 Jan 2023 19:52:23 -0500 Subject: Minor boot3 simplifications --- src/bootstrap/boot3.bqn | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/bootstrap') diff --git a/src/bootstrap/boot3.bqn b/src/bootstrap/boot3.bqn index 2ca3f731..abfb09a4 100644 --- a/src/bootstrap/boot3.bqn +++ b/src/bootstrap/boot3.bqn @@ -70,14 +70,14 @@ r↩r+cp×»ir # Roles at cp were 0; set them now # Reverse each expression: *more* complicated than it looks - rev←⍋+`¯1↓(¯1∾gb)((⍋⊣)⊏((⍋⊢)⊏⊣)¬⊏˜)⍋(+`+⊢)1∾gb⊏r=¯1 + rev←⍋+`¯1↓(¯1∾gb)(⊣⍋⊸⊏⊏˜⟜⍋¬⊏˜)⍋+`⊸+1∾gb⊏r=¯1 # Lexical resolution, no nesting rx←rev⊏𝕩 iv←/(rx≥⊑bI)∧rx∨|)ps(⊢-TT)+`¬op # Train argument (first-level) - fa←/(ta∨op∨«⊸∨ps