diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-04 06:05:46 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-04 06:05:46 +0100 |
| commit | 46d312450863eb8eb82fd8c33f7f80705de52cdb (patch) | |
| tree | f289b693a4d2961aee7fdcb5b5dcf4db01b989c3 | |
| parent | 3a8b518b8dec3ca9e983e5339bff797f25ac05ff (diff) | |
| download | lambda-nantes-46d312450863eb8eb82fd8c33f7f80705de52cdb.tar.gz | |
Cleanup imports
| -rw-r--r-- | lambda-calcul/haskell/src/Minilang/REPL/Run.hs | 2 | ||||
| -rw-r--r-- | lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs | 1 |
2 files changed, 0 insertions, 3 deletions
diff --git a/lambda-calcul/haskell/src/Minilang/REPL/Run.hs b/lambda-calcul/haskell/src/Minilang/REPL/Run.hs index 3984dec..bc552cb 100644 --- a/lambda-calcul/haskell/src/Minilang/REPL/Run.hs +++ b/lambda-calcul/haskell/src/Minilang/REPL/Run.hs @@ -8,8 +8,6 @@ module Minilang.REPL.Run where import Control.Monad.Catch import Data.Text hiding (replicate) -import qualified Data.Text as Text -import Debug.Trace (trace) import Minilang.Lambda (loadProgram) import Minilang.Lambda.DeBruijn (eval, fromDeBruijn, toDeBruijn) import Minilang.Lambda.Eval (newEnv) diff --git a/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs b/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs index 2988b56..e7816c6 100644 --- a/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs +++ b/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs @@ -4,7 +4,6 @@ module Minilang.Lambda.ParserSpec where -import Control.Applicative ((<|>)) import Data.Either (isRight) import Data.Function ((&)) import Data.Text (Text, pack) |