blob: 8588718e8db122740fa5c39b62dd9bcb79069708 (
plain)
1
2
3
4
5
6
7
|
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
|
