Skip to content
This repository has been archived by the owner on Jan 14, 2020. It is now read-only.

Issues: craigfe/ppx_irmin

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

User-defined witnesses in Json module are shadowed bug Something isn't working
#16 opened Jan 9, 2020 by craigfe
Support mutually recursive types enhancement New feature or request
#4 opened Aug 5, 2019 by craigfe
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.