A declarative language with no semantics that is useful for creating simple DSLs