blob: 9052ef1aa654077478f2840db14c3955f9a2d216 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
import Control.Monad (void)
import Control.Monad.Loops (whileJust_)
import Data.Function ((&))
import Effectful (runEff)
import Effectful.Resource (runResource)
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
& runResource
& runEff
|
