Alternative syntax for Python's lambda
Alternative syntax for Python's lambda
Posted Mar 6, 2021 1:54 UTC (Sat) by aeline (guest, #144768)In reply to: Alternative syntax for Python's lambda by aeline
Parent article: Alternative syntax for Python's lambda
DrRacket also allows most unicode, by typing \latexcode and pressing Cmd-Enter.
This is really nice for following mathematics/language papers. A snippet from a recent project:
;; Values
(v ::= n
b
∅ ;; Unit
(λ (x : t) e) ;; Value Abstraction
(Λ x e)) ;; Type Abstraction
This is really nice for following mathematics/language papers. A snippet from a recent project:
;; Values
(v ::= n
b
∅ ;; Unit
(λ (x : t) e) ;; Value Abstraction
(Λ x e)) ;; Type Abstraction