From 81a2e6af3c62350be39fec75669839e3727cb628 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 9 Feb 2021 21:40:20 -0500 Subject: =?UTF-8?q?Allow=20Windows=20on=20an=20atom=20if=20=F0=9D=95=A8=20?= =?UTF-8?q?is=20empty=20(doesn't=20enclose,=20but=20this=20should=20be=20r?= =?UTF-8?q?evisited)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- spec/reference.bqn | 1 - 1 file changed, 1 deletion(-) (limited to 'spec') diff --git a/spec/reference.bqn b/spec/reference.bqn index 42949e56..e59e8dc7 100644 --- a/spec/reference.bqn +++ b/spec/reference.bqn @@ -326,7 +326,6 @@ Nudge ← (1↑0↑⊢)⊸ShiftBefore NudgeBack ← (1↑0↑⊢)⊸ShiftAfter Windows←{ - ! IsArray 𝕩 ! 1≥=𝕨 ! 𝕨≤○≠≢𝕩 ! ∧´Nat¨⥊𝕨 -- cgit v1.2.3