on master help sign in
history ofef002d2..master
compare
df10d4aUse StandaloneDerivingCsongor Kiss b16240bDisable failing inspection-tests for nowCsongor Kiss 8191cfdSimplify typesDeep implementationCsongor Kiss 1a82aafAdd Integer to list of primativesMatthew Pickering 409f3a3Add Bifunctor derivation testCsongor Kiss a623316More interesting examplesCsongor Kiss 14abda5Fix deep typed traversalCsongor Kiss 565302cAdd test from SYBCsongor Kiss e9c0a1fWIP Deep traversalsCsongor Kiss 367497dAdd missing case for Zip in GenericNCsongor Kiss e48f8f5Remove Peano from Changing (Nat is fine)Csongor Kiss 2d41977Add tests + inlineCsongor Kiss f4073caAdd GHasParam instance for K1Csongor Kiss 2b9efe8Add GenericN classCsongor Kiss a31ae1eType-changing traversals over type parametersCsongor Kiss 95d451aAdd constrained traversals and multitraversalsCsongor Kiss a184835Ignore core-htmlCsongor Kiss c61adcfUpdate README.mdCsongor Kiss 2559eccMerge pull request #33 from kcsongor/wip/boggle-mergeCsongor Kiss 72ccf99OVERLAPPING -> OVERLAPPABLECsongor Kiss 6f23a3aAdd (:+:) case for typed TraversalCsongor Kiss de7627dClean upCsongor Kiss 37c466dAdd semigroup instance for ListCsongor Kiss 900cb6f8.4.1 travisMatthew Pickering f0478e8Remove submodule thingsMatthew Pickering a082fb4Merge branch 'master' into wip/boggle-mergeMatthew Pickering 876ad15Add flag -fdump-core to dump core output as html.Matthew Pickering 416fa83Fix inlining on 8.0.2Csongor Kiss 61d338f0.6.0.0 -> 0.5.1.0Csongor Kiss 202fcc7Bump 0.6.0.0Csongor Kiss cbd78d1Rename type families Bar and BazCsongor Kiss ccc8bcfAdd test case for #24Csongor Kiss ff78ef1Infer original type from return type (fixes #25)Csongor Kiss c0e2c24Fix #23Csongor Kiss