Dependencies for agda-snippets-2.4.2.5

There is a total of 8 dependencies in nightly-2016-02-05

<< Return to package page

• Agda-2.4.2.5@rev:2
• agda-snippets-2.4.2.5@rev:1
• base-4.8.2.0
• containers-0.5.6.2
• mtl-2.2.1@rev:1
• network-uri-2.6.0.3
• transformers-0.4.2.0
• xhtml-3000.2.1