v0.11.0

Added

• Core: decideP function yielding {P} + {~P} for Decidable propositions. (#81)
• Programming: curry function in Extras module.
• Structures:
  • MonadLaws are back. (#31, by #80)
  • Functor instance for Applicative. (#77)
• Tactics:
  • Rewrite hypotheses;
  • Clear trivial hypotheses;
  • Hide and show hypotheses. (#81)

Changed

• Data: make vector template-polymorphic again. (#76)

Removed

• Module:
  • Core: Type;
  • Structures: Identity and Proper;
  • Tactics: TypeTac;
• Class: PFunctor, PApplicative, and PMonad. (#80)

Fixed

• Operator precedence difference from Haskell. (#78, by #80)