Dependencies for MiniAgda-0.2025.7.23
Libraries
MiniAgda
- array (>=0.3 && <0.6)
- base (>=4.9 && <5)
- containers (>=0.3 && <1)
- haskell-src-exts (>=1.21 && <1.22)
- mtl (>=2.2.1 && <2.4)
- optparse-applicative (>=0.16.0.0 && <1)
- pretty (>=1.0 && <1.2)
- string-qq
- transformers