-
SimonGuilloud authored
* work in progress * Updated printer to print prefix conjunction and disjunction when applied to single arg. Removes parts of the front (put in another branch. * All tests passing. * Test pass, equivalence checker tests takes a bit too much time * adapted printer tests * correcct errors pointed by reviewer. * Removed testing from example file * >= 0 instead of > 0
SimonGuilloud authored* work in progress * Updated printer to print prefix conjunction and disjunction when applied to single arg. Removes parts of the front (put in another branch. * All tests passing. * Test pass, equivalence checker tests takes a bit too much time * adapted printer tests * correcct errors pointed by reviewer. * Removed testing from example file * >= 0 instead of > 0