..

0	;; SPDX-FileCopyrightText 2024 toastal <toastal@posteo.net>
1	;; SPDX-License-Identifier: LGPL-2.1-or-later
2	; extends
3
4	("::" @operator (#set! conceal "∷"))
5	("->" @punctuation.delimeter (#set! conceal "→"))
6	("<-" @punctuation.delimeter (#set! conceal "←"))
7	(type ("=>" @punctuation.delimeter) (#set! conceal "⇒"))
8	(type ("forall" @keyword.repeat) (#set! conceal "∀"))
9	("=" @operator.assignment (#set! conceal "≔"))
10
11	((function) @function.call (#eq? @function.call "not") (#set! conceal "¬"))
12	((operator) @operator (#eq? @operator "==") (#set! conceal "="))
13	((operator) @operator (#eq? @operator "/=") (#set! conceal "≠"))
14	((operator) @operator (#eq? @operator "<=") (#set! conceal "≤"))
15	((operator) @operator (#eq? @operator ">=") (#set! conceal "≥"))
16
17	((operator) @operator (#eq? @operator "-") (#set! conceal "−"))
18	((operator) @operator (#eq? @operator "*") (#set! conceal "×"))
19	((operator) @operator (#eq? @operator "/") (#set! conceal "÷"))
20	(negation ("-" @number) (#set! conceal "⁻"))
21
22	(lambda ("\\" @keyword.function . (patterns) (#set! conceal "λ")))
23	((operator) @operator (#eq? @operator ".") (#set! conceal "∘"))
24
25	(type ((name) @type) (#eq? @type "Bool") (#set! conceal "𝔹"))
26	(type ((name) @type) (#eq? @type "Integer") (#set! conceal "ℤ"))
27	(type ((name) @type) (#eq? @type "Natural") (#set! conceal "ℕ"))
28	(type ((name) @type) (#eq? @type "Real") (#set! conceal "ℝ"))