Home
Quick Action
Version:
f321f0e
Open sidebar
Hello World
Hello World
main.idr
module Main main : IO () main = putStrLn "Hello World!"
STDIN
RUN
SHARE
INFO
