Dependencies for lol-typing-1.20160822
Libraries
lol-typing
- base (>=4.6 && <5)
- containers (>=0.5 && <0.6)
- ghc-prim
- lol-calculus
- monad-classes (>=0.3.1.1)
- parsec (>=3.1.2 && <4)
- text
- text-format
- transformers (>=0.4 && <0.5)
- uuagc (>=0.9)
- uuagc-cabal (>=1.0.6.0)
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| dev | Turn on development settings. | Disabled |
| dump | Dump some intermediate files. | Disabled |
| exe | Turn on executables. | Disabled |
| prof | Turn on profiling settings. | Disabled |
| threaded | Enable threads. | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info