New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Use ppx_deriving.show instead of ppx_show #2696

Merged

cuihtlauac merged 2 commits into main from ppx_deriving

Sep 12, 2024

Collaborator

cuihtlauac commented Sep 11, 2024

Less exotic dependency
Simpler dune file
Simpler string processing


          Use ppx_deriving.show instead of ppx_show

8f4ea2e

* Less exotic dependency
* Simpler dune file
* Simpler string processing

cuihtlauac requested a review from christinerose as a code owner

September 11, 2024 15:03


          Remove obsolete text

59776f0

cuihtlauac added enhancement documentation labels

christinerose approved these changes

View reviewed changes

cuihtlauac merged commit 2745c60 into main

3 checks passed

cuihtlauac deleted the ppx_deriving branch

September 12, 2024 05:17

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation enhancement