..

0	;; SPDX-FileCopyrightText 2023–2024 toastal <toastal@posteo.net>
1	;; SPDX-License-Identifier: LGPL-2.1-or-later
2	; extends
3
4	("fun" @keyword.function (#set! conceal "λ"))
5	("rec" @keyword (#set! conceal "∇"))
6	("forall" @keyword (#set! conceal "∀"))
7	("->" @operator (#set! conceal "→"))
8	("=>" @operator (#set! conceal "⇒"))
9	("=" @operator.assignment (#set! conceal "≔"))
10
11	("==" @operator (#set! conceal "="))
12	("!=" @operator (#set! conceal "≠"))
13	("<=" @operator (#set! conceal "≤"))
14	(">=" @operator (#set! conceal "≥"))
15	("&&" @operator (#set! conceal "∧"))
16	("||" @operator (#set! conceal "∨"))
17	("!" @operator (#set! conceal "¬"))
18
19	("-" @operator (#set! conceal "−"))
20	("*" @operator (#set! conceal "×"))
21	("/" @operator (#set! conceal "÷"))
22	(infix_expr ("-" @number) (#set! conceal "⁻"))
23
24	(".." @variable.parameter.builtin.nickel (#set! conceal "‥"))
25
26	("Bool" @type (#set! conceal "𝔹"))
27	("Number" @type (#set! conceal "ℝ"))
28
29	((atom) @variable @constant.builtin.nickel (#eq? @constant.builtin.nickel "null") (#set! conceal "∅"))