search

gmalecha / mirror-core

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

Universe inconsistencies in reification #96

Closed gmalecha closed 7 years ago

gmalecha commented 7 years ago

There are currently universe inconsistencies when using reification.

gmalecha commented 7 years ago

This seems to be solved with #97