3 ms·

Using the :exec REPL command. Idris> putStrLn "Hello, world!" io_bind (prim_write "Hello, world!\n") (\__bindx => io_pure ()) : IO () Idris> :e

by cannam 8y ago

Using the :exec REPL command. Idris> putStrLn "Hello, world!" io_bind (prim_write "Hello, world!\n") (\__bindx => io_pure ()) : IO () Idris> :exec putStrLn "Hello, world!" Hello, world!