search

gmalecha / mirror-core

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

Make rtac and rtacK "opaque-ish" #75

Open gmalecha opened 8 years ago

gmalecha commented 8 years ago

This will make it easier to improve notation (see #69)