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