diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-05 14:57:54 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-05 14:57:54 +0200 |
| commit | 58ae983e0dc2e3a9fe7a0fd29c3342289812d3f8 (patch) | |
| tree | 113fb4fe90d10642155af90b30d51bb320e799d1 /examples/effects-concept.milch | |
| parent | 4002b8988c799a904ef1f359d4267ef4ad80cba3 (diff) | |
Add -O2 to ghc-options
Diffstat (limited to 'examples/effects-concept.milch')
0 files changed, 0 insertions, 0 deletions