Example

- Nil;

Nil : Sexpr;

- Integer;

Integer : int -> Sexpr;

- Symbol;

Symbol : string -> Sexpr;

- Cons;

Symbol : Sexpr * Sexpr -> Sexpr;

Previous slide

Next slide

Back to first slide

View graphic version