mix theoria.simp (theoria v0.3.0)

Copy Markdown View Source

Runs small built-in simplification examples.