Add comments about pruning implication constraints
[ghc-hetmet.git] / docs / man /
2006-12-05 Ian LynaghMake a ghc/ghci manpage