diff options
Diffstat (limited to 'test/cases/header.bqn')
| -rw-r--r-- | test/cases/header.bqn | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/cases/header.bqn b/test/cases/header.bqn index 37daad0a..1396b338 100644 --- a/test/cases/header.bqn +++ b/test/cases/header.bqn @@ -84,6 +84,9 @@ ! % {𝔽_𝕣_1:1;𝔽_𝕣_𝔾:2} ! % {⟨a,b⟩_r:a‿b⊸⥊;a _r: a‿a _r} ! % {⟨a,b⟩_r:a‿b⊸⥊;a _r 𝕩: a‿a _r 𝕩} +! % {𝕊(A b):b} +! % {𝕊(w(x))‿y:w} +! % {⟨(a)(_b)⟩_op:b} # Headers 5 % {𝕨𝕊𝕩:1+𝕩}4 |