on 04fa5c8 help sign in
04fa5c8Don't touch cabal.project in travisCsongor Kiss fa6332dClone submodulesCsongor Kiss 47060cdUse inspection-testing HEADCsongor Kiss 72552e4Add Util fileMatthew Pickering 6a82eafClean upCsongor Kiss 3283578Use new inspectTest functionality to convert to unit testsMatthew Pickering fdf8487Remove dependency on MoreProfunctorMatthew Pickering f15ab6eSimple minded, fast optimisationsMatthew Pickering 2cbc1e8Two more prism testsMatthew Pickering d1cda62Implement _Type directlyMatthew Pickering 8467038Eta expand _SubMatthew Pickering 81e7fecImplement prism following the either-right invariantMatthew Pickering 6eb09a5Add profunctor prism testMatthew Pickering 3e57f2cSlightly bump unfolding-use-thresholdMatthew Pickering 848b37bAdd -dsuppress-all flagMatthew Pickering 9378414Convert prism creation to VL prismsMatthew Pickering 61bf42fRemove dump-core depMatthew Pickering 3a12e77Remove very aggressive optionsMatthew Pickering 1e77599Do some eta expansionMatthew Pickering ff59890Optimising prismsMatthew Pickering c60b4d2Make prism code compileMatthew Pickering c78c1bcRunning PrismBoggle twice optimises away the right callsMatthew Pickering db73962More wip prismsMatthew Pickering 5106556Extend example to eliminate empty listMatthew Pickering 112c35cDList normalisedMatthew Pickering ab8fdb3Add (nearly complete) example of how boggle worksMatthew Pickering 9b9bf28Two missing filesMatthew Pickering 24cc944Add a testMatthew Pickering 4a68faeCore looks good for boggleMatthew Pickering 11eb649WIP typed traversalsCsongor Kiss 3394129WIP: Optimised prismsMatthew Pickering 293657dBump 0.5.1.0Csongor Kiss 5b0c027Add IsLabel instanceCsongor Kiss 01d7893Fix subtype error messageCsongor Kiss 8e3bbedImprove error message for subtype lens0.5.0.0Csongor Kiss 94d377aUpdate ChangeLog.mdCsongor Kiss aad5b7cMake type errors better (#20)Csongor Kiss 7c05cfcClean upCsongor Kiss 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