User:Roddy Erickson/sandbox

This sandbox doesn't have any interesting content yet. Perhaps it never will!

First level heading
Somehow, as a new user, I find it more comfortable to be editing my own sandbox, rather than the shared one. Hmm, this is a handy place to keep notes about planned edits!

Rewriting

 * Should refer to Knuth-Bendix algorithm to guarantee determinism and finiteness.
 * Relationship of rewriting to abstract data types
 * ADTs: specification language

Random notes

 * exists symbol: $$\exists$$