added pretty good pretty-printing
darcs-hash:
20060112071847-5007d-
fb5bea953ae6d64db23b1e1612efed112fa25100.gz
added back in the singularReductions cache, I wish we didnt need it but we do
darcs-hash:
20060112063755-5007d-
68fda2bdf3cc12ac63c2a02feb2a49a571dc2024.gz
factored exceptions into non-inner classes
darcs-hash:
20060111054412-5007d-
ad3f30e5c240b198e82c3ae97f167630c981bbc5.gz
yay, new boolean resolution approach works
darcs-hash:
20060108010636-5007d-
e8e1c2d0456e2c4e5f9bc2f30adbb54bebd260fe.gz
added code to check for created-by-empty-reduction
darcs-hash:
20060106052306-5007d-
023ea006cf8a3cd5c1b3ad6f7d1b58761d4fbf35.gz