title: Running a 'Hello World' app in Agda emacs
body: <p>I installed an Agda compiler, binarys can be from here: <a href="http://ocvs.cfv.jp/Agda/how-to-install-windows.html" rel="noreferrer">http://ocvs.cfv.jp/Agda/how-to-install-windows.html</a></p>
  
  <p>... and I'm trying to make it compile a simple hello world app (I found the Agda 'Hello World' code online)</p>
  
  <p>But I've never used Emacs before, and I don't know where to begin, or which commands to use to compile and run. I'm new to Agda, which seems to have limited options for compilers, and is lacking any step by step tutorial. Below is a screenshot of the Emacs compiler with the code I found:</p>
  
  <pre><code>open import System.IO using ( _&gt;&gt;_ ; putStr ; commit )
  
  module System.IO.Examples.HelloWorld where
  
  main = putStr "Hello, World\n" &gt;&gt; commit
  </code></pre>
  
  <p>I'm looking for step by step instructions to run a simple 'Hello World' program</p>
  
  <p><a href="https://i.stack.imgur.com/YBRUX.png" rel="noreferrer"><img src="https://i.stack.imgur.com/YBRUX.png" alt="Agda Emacs compiler"></a></p>
  
  <p>A working example with another compiler would also be an acceptable answer</p>
  
  <p>Thanks!</p>