Permalink
Commits on Apr 20, 2018
  1. Use GHC 8.4.2 on Travis

    RyanGlScott committed Apr 20, 2018
Commits on Mar 8, 2018
Commits on Jan 18, 2018
  1. Version 0.10

    RyanGlScott committed Jan 18, 2018
Commits on Jan 11, 2018
Commits on Jan 9, 2018
Commits on Dec 15, 2017
  1. Mention #71 in the CHANGELOG

    RyanGlScott committed Dec 15, 2017
    [ci skip]
Commits on Dec 14, 2017
Commits on Nov 22, 2017
  1. Use GHC 8.2.2 on Travis

    RyanGlScott committed Nov 22, 2017
Commits on Oct 18, 2017
Commits on Sep 8, 2017
  1. Adapt to the Semigroup-Monoid Proposal (#65)

    RyanGlScott committed Sep 8, 2017
    * Adapt to the Semigroup-Monoid Proposal
    
    * Delete unneeded (and problematic) import
Commits on Jul 24, 2017
  1. CHANGELOG note for #64

    RyanGlScott committed Jul 24, 2017
Commits on Jun 1, 2017
  1. Merge pull request #61 from ekmett/gh55

    ekmett committed Jun 1, 2017
    Fix #55
  2. Fix test on old GHCs

    Ryan Scott
    Ryan Scott committed Jun 1, 2017
  3. Cleanup

    Ryan Scott
    Ryan Scott committed Jun 1, 2017
  4. Fix #55

    Ryan Scott
    Ryan Scott committed Jun 1, 2017
Commits on May 20, 2017
  1. Reordering of the type variables (#58)

    SkorikGG authored and RyanGlScott committed May 20, 2017
    The order of the variable types in associative axioms is changed. Also, the `axiom` is replaced by the `Dict` in some trivial cases.
Commits on Apr 11, 2017
Commits on Apr 7, 2017
  1. CHANGELOG note for #51

    RyanGlScott committed Apr 7, 2017
    [ci skip]
  2. Fix maxCommutes. (#51)

    tsahyt authored and RyanGlScott committed Apr 7, 2017
    Previously maxCommutes had the same type as minCommutes and thus didn't
    describe commutativity of Max.
Commits on Mar 13, 2017
  1. Version 0.9.1

    RyanGlScott committed Mar 13, 2017
Commits on Mar 9, 2017
  1. Merge pull request #49 from treeowl/AMP

    ekmett committed Mar 9, 2017
    Add more Class and :=>
Commits on Mar 8, 2017
  1. Add more Class and :=>

    treeowl committed Mar 8, 2017
    * Update `Class` for AMP.
    
    * Add `Bits`, `Natural`, and `Word`. There are still a lot of
    `Int` and `Word` variants missing.
    
    Fixes #48
Commits on Feb 25, 2017
  1. Fix type mismatch error message in Data.Constraint.Deferrable

    RyanGlScott committed Feb 25, 2017
    Previously, if you deferred a bogus type equality, the error message would be
    completely wrong:
    
    ```
    > defer_ @(Int ~ Char) ('a' + 1)
    *** Exception: UnsatisfiedConstraint "deferred type equality: type mismatch between `Int’ and `Int'"
    ```
    
    After this patch, the error message is now what you'd expect:
    
    ```
    > defer_ @(Int ~ Char) ('a' + 1)
    *** Exception: UnsatisfiedConstraint "deferred type equality: type mismatch between `Int’ and `Char'"
    ```
  2. CHANGELOG note for #45

    RyanGlScott committed Feb 25, 2017
Commits on Feb 1, 2017
  1. Merge pull request #45 from Lysxia/master

    ekmett committed Feb 1, 2017
    Fix magic functions in Nat and Symbol
Commits on Jan 26, 2017
  1. Fix a tiny typo in docs (#42)

    relrod authored and RyanGlScott committed Jan 26, 2017
  2. Update CHANGELOG

    RyanGlScott committed Jan 26, 2017
  3. README badges

    RyanGlScott committed Jan 26, 2017
  4. Fix the GHC 7.10 build

    RyanGlScott committed Jan 26, 2017