..

0	;; SPDX-FileCopyrightText 2024 toastal <toastal@posteo.net>
1	;; SPDX-License-Identifier: LGPL-2.1-or-later
2	; extends
3
4	("fun" @keyword.function (#set! conceal "λ"))
5	("end" @keyword.function (#set! conceal "◊"))
6	("->" @operator (#set! conceal "→"))
7	("<-" @operator (#set! conceal "←"))
8	("=>" @operator (#set! conceal "⇒"))
9	("<=" @operator (#set! conceal "⇐"))
10	("=" @operator (#set! conceal "≔"))
11	(":=" @operator (#set! conceal "⩴"))
12	("?=" @operator (#set! conceal "≟"))
13
14	("==" @operator (#set! conceal "≈"))
15	("/=" @operator (#set! conceal "≉"))
16	("=:=" @operator (#set! conceal "="))
17	("=/=" @operator (#set! conceal "≠"))
18	("=<" @operator (#set! conceal "≤"))
19	(">=" @operator (#set! conceal "≥"))
20	("not" @operator (#set! conceal "¬"))
21	("and" @operator (#set! conceal "∧"))
22	("or" @operator (#set! conceal "∨"))
23	("xor" @operator (#set! conceal "⊻"))
24
25	("-" @operator (#set! conceal "−"))
26	("*" @operator (#set! conceal "×"))
27	; welp… upstream parser is broken currently
28	(ERROR ("/" @operator ) !arity (#set! conceal "÷"))
29	(unary_op_expr ("-" @number) (#set! conceal "⁻"))
30
31	(type_sig (expr_args args: (call (atom) @type.definition (#eq? @type.definition "integer"))) (#set! conceal "ℤ"))
32	(type_sig (pipe lhs: (atom) @lhs rhs: (atom) @rhs (#any-of? @lhs "true" "false") (#any-of? @rhs "true" "false") (#not-eq? @lhs @rhs)) @boolean (#set! conceal "𝔹"))