masterdefault17e35a2Create FUNDING.yml7 years ago phadej/indexed-profunctors661287dGHC: trust me, keep unfolding7 years ago indexed-profunctors0a91dbdPort HasTypes to generic-optics7 years ago dev-1310e14eAdd doctests for 'Void' instances (#90)7 years ago unsaturated-type-families17fe6e1Use UnsaturatedTypeFamilies in Internal.Families.Has7 years ago type-errors3f54d20Better type errors for `super` lens8 years ago wip/better-errorsc1439f7WIP type errors8 years ago refactor52182edMore refactoring... slow9 years ago traverse-constraintsfae219dQuick stab at reimplementing 'types' with 'constraints'. Slow9 years ago new-boggled287d03Work out different Boggle type9 years ago optimise-deepf6ad5f6more wip, too slow:9 years ago wip/boggle872b260Add Util file9 years ago ghc-8.40f20e18Try to increase parallelism9 years ago wip/optimal_typed_traversal0ecfaddWIP using the specialiser to apply rewriting rules9 years ago

1.1.0.054f490aUpdate changelog with prism labels8 years ago 1.0.0.264075a21.0.0.28 years ago 1.0.0.16787a4eDon't allow 8.4.1 failure in travis9 years ago 0.5.1.04e19a34Bump 0.5.1.09 years ago 0.5.0.08e3bbedImprove error message for subtype lens9 years ago 0.4.1.00cc040dBump version9 years ago 0.4.0.1ee5e333Bump 0.4.0.19 years ago 0.4.0.0310186b0.4.0.09 years ago 0.3.0.16fd4bd90.3.0.19 years ago 0.3.0.0fa94a03Add missing module headers9 years ago 0.1.0.0cc5e99aAdd source-repository9 years ago