在伊德里斯读书和写作

Question

我正在学习“伊德里斯”的第一步。我正在使用本教程：qazxsw poi

我创建了名为“hello.idr”的文件。该文件的内容是：

http://docs.idris-lang.org/en/latest/tutorial/starting.html

我在shell提示符处输入了这一行：“idris hello.idr -o hello”但是发生了一些无法解决的问题

module Main

main : IO ()
main = putStrLn "Hello world"

Answer 1

同

一切都按预期工作。

module Main

main : IO () 
main = putStrLn "Hello world"

如果没有，我会假设你的idris安装破坏了，根据你的操作系统，你需要按照不同的步骤来安装二进制安装。

对于OS X简单推荐qazxsw poi或看看qazxsw poi