blob: 7d1431cdc081c0ac3a1bd18d9a5968a4455f3e2e (
plain)
1
2
3
4
5
6
7
8
|
import Control.Monad.Loops (whileJust_)
import Data.Function ((&))
import Effectful (runEff)
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
|
