Lambs.Toplevel

data Toplevel

Toplevel things are for toplevel things. Can be:

• Definitions, for adding toplevel defintions
• Undefinitions, for removing toplevel defintions
• Trms, with Terms in them. The Terms can be evaluated (is fun)

Constructors

• Def Define
• Undef Undefine
• Trm Term

Instances

• Generic Toplevel
• Show Toplevel
• Eq Toplevel
• Ord Toplevel