Windows上的Agda，安装不完整？

Question

我刚刚从预构建的Windows软件包中安装了Agda v.2.4.2.2。 然而，即使是像

这样的简单模块声明，一切似乎都已到位

module X1  where

编译返回以下错误：

The name of the top level module does not match the file name. The
module X1 should be defined in one of the following files:
  C:\agda-stdlib-0.13\src\X1.agda
  C:\agda-stdlib-0.13\src\X1.lagda
  C:\Program Files (x86)\Haskell\i386-windows-ghc-7.8.3\Agda-2.4.2.2\lib\prim\X1.agda
  C:\Program Files (x86)\Haskell\i386-windows-ghc-7.8.3\Agda-2.4.2.2\lib\prim\X1.lagda

文件名为X1.agda。

增加：

我已将源文件夹添加到Agda include目录中，这似乎解决了上述问题。然后，按照教程，我使用main函数扩展了我的源代码。

module x where

  open System.IO

  main : IO Unit
  main = putStrLn "Hello world!"

现在我收到这条消息：

The IO action 'main' is not defined in module `MAlonzo.Code.Qx'

任何帮助都将不胜感激。