hello.lidr

module Main

main : IO ()

Add a hole to stand in place of a conversion.

main = putStrLn (?convert 'x')

An appropriate Char -> String function to fill the convert hole is cast.

main = putStrLn (cast 'x')

Compile and Run

Compile:

$ make compile
idris src/hello.lidr -o bin/hello

Run:

$ bin/hello
x