Dependencies for decidable-0.3.1.1

There is a total of 6 dependencies in nightly-2025-07-25

<< Return to package page

• base-4.21.0.0
• functor-products-0.1.2.2
• microlens-0.4.14.0
• singletons-3.0.4
• singletons-base-3.5
• vinyl-0.14.3