Computer-assisted proof of the least combinatory logic term(s) without normal form.
Added cabal entries