diff options
| author |  Moon Flower <mforoud86@gmail.com>
| 2026-02-23 12:20:09 +0330 |
|---|---|---|
| committer | Moon Flower <mforoud86@gmail.com>
| 2026-02-23 12:20:09 +0330 |
| commit | b2b243b4194793ed8925354a52500ade462cae50 (patch) | |
| tree | 88b0a299968224318ff47b5834d4991710895845 /symbols.txt | |
| parent | some&all + symbol shortcuts (diff) | |
mb
Diffstat (limited to 'symbols.txt')
| -rw-r--r-- | symbols.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/symbols.txt b/symbols.txt index 96b6f88..d56b973 100644 --- a/symbols.txt +++ b/symbols.txt @@ -9,6 +9,7 @@ = equal ∷ prop ∷ property +∷ inside ⋿ type ≠ neq ≠ notequal @@ -22,7 +23,6 @@ 3 three < before | separate -^ inside ! ??? @ change # persistence |