blob: 2d299b88ff72784a7861c2ccef5483b84cddcef7 (
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
|
