Dependencies for agda2hs-0.1.20230328
Executables
agda2hs
- Agda (>=2.6.3 && <2.6.4)
- base (>=4.10 && <4.18)
- containers (>=0.6 && <0.7)
- deepseq (>=1.4.1.1)
- directory (>=1.2.6.2 && <1.4)
- filepath (>=1.4.1.0 && <1.5)
- haskell-src-exts (>=1.23 && <1.25)
- mtl (>=2.2)
- syb (>=0.7)
- text (>=1.2.3.0)
- unordered-containers (>=0.2)
- if flag(smuggler2)
- smuggler2 (>=0.3 && <0.4)
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| smuggler2 | Rewrite sources to cleanup imports, and create explicit exports | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info