search

gmalecha / mirror-core

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

Parsing patterns should do reduction to hnf. #103

Open gmalecha opened 7 years ago