mirror of
https://git.cs.ou.nl/joshua.moerman/mealy-decompose.git
synced 2025-04-29 17:57:44 +02:00
8 lines
159 B
Text
8 lines
159 B
Text
packages: hs
|
|
|
|
package *
|
|
optimization: True
|
|
|
|
package mealy-decompose
|
|
profiling: True
|
|
ghc-options: -Wall -fexpose-all-unfoldings -fspecialise-aggressively
|