diff options
Diffstat (limited to 'chad-fast.cabal')
| -rw-r--r-- | chad-fast.cabal | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/chad-fast.cabal b/chad-fast.cabal index ef1fd66..6314acd 100644 --- a/chad-fast.cabal +++ b/chad-fast.cabal @@ -10,6 +10,7 @@ build-type: Simple library exposed-modules: + Array AST AST.Count AST.Env @@ -22,7 +23,7 @@ library Example Interpreter Interpreter.Accum - Interpreter.Array + Interpreter.Rep Language Language.AST Lemmas |