search

gmalecha / mirror-core

A framework for extensible, reflective decision procedures.
Other
19 stars 5 forks source link

Reflected syntax in Set? #95

Closed gmalecha closed 7 years ago

gmalecha commented 7 years ago

Would it be problematic is reflected syntax was required to be in Set? This would require expr, ctype, and all funcs and tsyms to be in Set.

@jesper-bengtson Would this be problematic for Charge?

gmalecha commented 7 years ago

Closed by #97