News for hackers. Stuff that matters.

A comment on Notes on Idris (2017). Parent comment

Re:Notes on Idris (2017) by cannam on Monday June 11, 2018 @04:18AM (#17282671)
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!
[ Parent | on HN ]

There are no comments on this comment yet.