From 36732f84cfade5371248806328791d5066673fb7 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Thu, 12 Sep 2024 17:31:20 +0200 Subject: Interpreter, some operations --- chad-fast.cabal | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'chad-fast.cabal') 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 -- cgit v1.2.3-70-g09d2