HaRe-0.6: StrategyLib-4.0-beta/examples/two-sorts-deriving/README

This model only works with >= GHC 6.2.