Rework ExprSubst and FMapSubst to factor out common proofs

gmalecha / mirror-core

A framework for extensible, reflective decision procedures.

Other

19 stars 5 forks source link

Closed gmalecha closed 10 years ago

gmalecha commented 10 years ago

FMapSubst should be parametric over an expression type.

gmalecha commented 10 years ago

Done d67279b5ec3f71fac42aeba2ec74974c6d4a1009