README 133 B

12345
  1. Fixpoint data types
  2. After uninstalling, run this command to unregister the package from
  3. the ghc package database: ghc-pkg recache