Dependencies for copilot-language-4.1

There is a total of 8 dependencies in lts-23.17

<< Return to package page

• array-0.5.8.0
• base-4.19.2.0
• containers-0.6.8
• copilot-core-4.1
• copilot-interpreter-4.1
• copilot-theorem-4.1
• data-reify-0.6.4
• mtl-2.3.1