diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-09-04 21:48:58 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-09-04 21:48:58 -0400 |
| commit | e74975a9f7c58c3320ce3740a0a10c5253f3c051 (patch) | |
| tree | f10f1d67ca586c26453944bf802ffa38272d8b1d /test | |
| parent | aef66a84319670282f6550904487accdabe674d7 (diff) | |
Allow 𝕩 as a case header
Diffstat (limited to 'test')
| -rw-r--r-- | test/cases/header.bqn | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/cases/header.bqn b/test/cases/header.bqn index 2b4713f4..43051a7b 100644 --- a/test/cases/header.bqn +++ b/test/cases/header.bqn @@ -121,6 +121,7 @@ 2 % {A‿_b_:b-a}3‿5 ! % {a‿b:𝕩}↕4 3 % {𝕊a‿B:b-a;≠𝕩}3‿5‿6 +1 % >´{⟨x⟩:1;𝕩:0}¨⟨2⟩‿6 3 % 1 {⟨a,b⟩_r𝕩:a+b×𝕩; a _r𝕩:a‿a _r 𝕩} 2 7 % 1‿3{⟨A,B⟩_r𝕩:a+b×𝕩; a _r𝕩:a‿a _r 𝕩} 2 ({2:4;𝕩}¨≡⊢+2×2⊸=)↕4 |