Refactor a bit and report errors due to impossible constraints.
[ghc.git] / compiler / typecheck / TcTypeNats.hs
2011-02-05  Iavor S. DiatchkiRefactor a bit and report errors due to impossible...
2011-02-03  Iavor S. DiatchkiAn idea about dealing with associative operators.
2011-01-30  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-30  Iavor S. DiatchkiImprove reasoning about ordering to support transitivit...
2011-01-27  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-17  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-16  Iavor S. DiatchkiAdd some operations on type-level naturals.