on master help sign in
history ofee5e333..master
compare
904a9aeRegain `field s b -> t` functional dependencyCsongor Kiss c08ec77Fix typo in test suiteCsongor Kiss ca3b456Fix doctestCsongor Kiss 4eb9475Fix inferenceCsongor Kiss adfa23eAdd composition testCsongor Kiss 4cc2db3Improve type-changing lensesCsongor Kiss b4f07feType-changing constructor prismCsongor Kiss 4e50855Type-changing lensesCsongor Kiss 462f56cSpecify new version of inspection-testing in stack.yamlCsongor Kiss fc70d72Add multi_ghc_travisCsongor Kiss aea8aa2Use inspection-testing >= 0.1.1.1Csongor Kiss 0cc040dBump version0.4.1.0Csongor Kiss 8f1c61eFix inlining on GHC 8.0.2Csongor Kiss 85974a2Switch from ghc-proofs to inspection-testing (#15)Joachim Breitner 126299cIgnore build artifactsCsongor Kiss d5a67a0Add hackage badgeCsongor Kiss cf4466bAdd injectTyped and projectTyped. (#14)Will Jones