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: $\mathrm{\exists }$