diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-04 08:10:46 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-04 08:47:15 +0100 |
| commit | 1083bb7758a2dfe3f2861bf802627cec16933861 (patch) | |
| tree | 11bcec09bc5d32eeb72de801bc2337c8098bb728 /lambda-calcul/haskell/src/Minilang/REPL | |
| parent | 51194425997225de7b7ca83e26b76b9a82f0e10d (diff) | |
| download | lambda-nantes-1083bb7758a2dfe3f2861bf802627cec16933861.tar.gz | |
Default REPL to Untyped language
Diffstat (limited to 'lambda-calcul/haskell/src/Minilang/REPL')
| -rw-r--r-- | lambda-calcul/haskell/src/Minilang/REPL/Types.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lambda-calcul/haskell/src/Minilang/REPL/Types.hs b/lambda-calcul/haskell/src/Minilang/REPL/Types.hs index 74cf028..b7a324b 100644 --- a/lambda-calcul/haskell/src/Minilang/REPL/Types.hs +++ b/lambda-calcul/haskell/src/Minilang/REPL/Types.hs @@ -53,7 +53,7 @@ data REPLEnv = REPLEnv } initialREPL :: REPLEnv -initialREPL = REPLEnv newEnv newContext 0 False False Typed +initialREPL = REPLEnv newEnv newContext 0 False False Untyped -- | Input data In |