search

gmalecha / mirror-core

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

Polymorphic reification #88

Closed gmalecha closed 8 years ago

gmalecha commented 8 years ago

Fixed in 1878eeee53d54e9cb9a8024842121d354632c52a 82ae3753a87fad67f463125e32bfefb5768790bc 5970fb145abd1b96f26b54c27af3bd6c7c4ce8dc f82eeb19321774289bcfd47d0dbc5e9fe88682aa