blue-lang-syntax 0.0.21

blue's surface syntax: lexer, parser, and lowering to the tatara-lisp quoted form.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

; symbolic — one surface over blue's invariant structure.
(defyakugo "math" "symbolic")
(locales "x-math")
(words
  ("⊃" if)
  ("¬⊃" unless)
  ("⊃∨" elsif)
  ("⊥→" else)
  ("∎" end)
  ("≜" def)
  ("≜≜" defmacro)
  ("⌜" quote)
  ("⌞" unquote)
  ("⌞∗" unquote_splice)
  ("⊨" test)
  ("⊢" assert)
  ("λ" fn)
  ("⊕" case)
  ("⊨?" when)
  ("▷" do)
  ("⊤" true)
  ("⊥" false)
  ("∅" nil)
  ("∈" use)
  )