Open jbellik opened 3 years ago
Mocha tests for exhaustivity, headedness (see test/headednessConstraint.html), and non-recursivity.
Mocha tests for exhaustivity, headedness (see test/headednessConstraint.html), and non-recursivity.