on master help sign in
history off4073ca..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