added Checks.hs
arb
Merge branch 'exhaustion' of github.com:xdanx/le-cycling into exhaustion