Untitled

Run Settings
LanguageIdris
Language Version
Run Command
module Main main : IO () main = putStrLn "Hello World!"
Editor Settings
Theme
Key bindings
Full width
Lines
  • Stdin
  • Info
    Press play on tape
  • Stdout
  • Stderr
  • Error