From ac5a85abac1a47645713d3b7539fccb1b744dd85 Mon Sep 17 00:00:00 2001 From: Paul Oliver Date: Thu, 11 Sep 2025 03:04:36 +0000 Subject: Adds `hsm-drive` --- hsm-repl/Test/Repl.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'hsm-repl/Test/Repl.hs') diff --git a/hsm-repl/Test/Repl.hs b/hsm-repl/Test/Repl.hs index 7d1431c..bd79a1e 100644 --- a/hsm-repl/Test/Repl.hs +++ b/hsm-repl/Test/Repl.hs @@ -5,4 +5,4 @@ import Hsm.Log (Severity (Trace), runLog) import Hsm.Repl (repl, runRepl) main :: IO () -main = whileJust_ repl return & runRepl @"exec-repl λ " @'["Prelude"] @[Bool] & runLog @"repl" Trace & runEff +main = whileJust_ repl return & runRepl @"test-repl λ " @'["Prelude"] @[Bool] & runLog @"repl" Trace & runEff -- cgit v1.2.1