Dependencies for agda2hs-0.1.20230328
agda2hs |
|
---|
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