import Control.Monad.Loops (whileJust_)
import Effectful (runEff)
import Hsm.Log (Severity(Trace), runLog)
import Hsm.Repl (repl, runRepl)

main :: IO ()
main = runEff . runLog @"repl" Trace . runRepl @"exec-repl λ " @'[ "Prelude"] @[Bool] $ whileJust_ repl return