;;; Hey, emacs, this file is -*- Mode: tdl; -*- ... got that?

sign := *top* &
[ FORM *string*,
  ARGS *list* ].

s := sign.

vp := sign.

np := sign.

pp := sign.

v := sign.

n := sign.

p := sign.

foo := sign.

;;;
;;; a few non-linguistic types: strings and lists.
;;;

*string* := *top*.

*list* := *top*.

*cons* := *list* &
 [ FIRST *top*,
   REST *list* ].

*null* := *list*.