Don't declare and <-> or as complements#26

Open

dawehner wants to merge 2 commits intoramda:masterfrom dawehner:dawehner-patch-1

+2-14

Commits on Jun 13, 2019

rules: add alternatives to complement of lte and gte
haskellcamargo
committed

Commits on Jun 18, 2019

remove non-working test
dawehner
committed