diff options
| author | Marvin Borner | 2024-03-02 11:21:44 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-03-02 11:21:44 +0100 |
| commit | eff903fc61b060b6333cb60bfced95e44da000ba (patch) | |
| tree | b99fb2070843ed33f4449c0c9d7777d2db337e79 /bruijn.cabal | |
| parent | fe951a51daa805f1abb9a973bbe749888d8f9a83 (diff) | |
Started non-outsourced optimizer
Diffstat (limited to 'bruijn.cabal')
| -rw-r--r-- | bruijn.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bruijn.cabal b/bruijn.cabal index d255c78..8f768fb 100644 --- a/bruijn.cabal +++ b/bruijn.cabal @@ -58,6 +58,7 @@ library Reducer.HigherOrder Reducer.ION Reducer.RKNL + Target other-modules: Paths_bruijn hs-source-dirs: |