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 /lambda-calcul/haskell/src/Minilang/REPL/Run.hs | |
| parent | 3a8b518b8dec3ca9e983e5339bff797f25ac05ff (diff) | |
| download | lambda-nantes-46d312450863eb8eb82fd8c33f7f80705de52cdb.tar.gz | |
Cleanup imports
Diffstat (limited to 'lambda-calcul/haskell/src/Minilang/REPL/Run.hs')
| -rw-r--r-- | lambda-calcul/haskell/src/Minilang/REPL/Run.hs | 2 |
1 files changed, 0 insertions, 2 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) |