search

gmalecha / mirror-core

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

Move library of symbols and definitions into Lib directory #83

Closed gmalecha closed 8 years ago

gmalecha commented 8 years ago

@jesper-bengtson

gmalecha commented 8 years ago

Fixed in 7a7ab675556cd5928d4c6590737b571f18b39540