Clean up uses of ExprI.exprD' and Lambda.Expr...exprD'

gmalecha / mirror-core

A framework for extensible, reflective decision procedures.

Other

19 stars 5 forks source link

Clean up uses of ExprI.exprD' and Lambda.Expr...exprD' #80

Closed gmalecha closed 8 years ago

gmalecha commented 8 years ago

Really, everything should be working with the ExprI.exprD' definition (since that is the most uniform). To avoid shadowing, it seems like it is best to rename [Lambda.Expr...exprD'] into [lambda_exprD'].

gmalecha commented 8 years ago

Done. 4a8ba25e52761f4a4b0a78047af7e1957afa845a