uzimaru0000 / ulmus / Ulmus.AST

The AST definition of the program


type AST
    = Sybl Atom
    | Quote AST
    | Pair AST AST
    | Lambda AST AST
    | Let AST (List AST)
    | If AST AST AST
    | Define AST AST AST
    | Cond (List AST) AST

AST


type Atom
    = NIL
    | T
    | Num Basics.Float
    | Str String
    | Label String

Atom

equal : AST -> AST -> Basics.Bool

equal (Sybl NIL) (Sybl NIL) == True

show : AST -> String

show