blob: 3b0e5346c6165dcf56817b269877a9c529f1d8bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
import Control.Monad (void)
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 =
void (whileJust_ repl return)
& runRepl @"exec-repl λ " @'["Prelude"] @[Bool]
& runLog @"repl" Trace
& runEff
|
