Skip to content
Commit 4ae80d1c authored by Matt Wala's avatar Matt Wala
Browse files

Fold simplification into substitution.

parent 8621651e