search

gmalecha / mirror-core

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

Clean up the Types Language #91

Open gmalecha opened 7 years ago

gmalecha commented 7 years ago

This should be done with a module like it is done in the alt-mtypes branch. MTypes should also be renamed to Types.

gmalecha commented 7 years ago

Doing this allows us to drop some of the arguments that are currently getting plumbed everywhere.

gmalecha commented 7 years ago

See #98