App下载
APP二维码

扫码下载编程狮APP

idris 在线工具

输入 运行代码 
module Main

main : IO ()
main = putStrLn "Hello W3Cschool!"
运行结果
PC端 手机端 平板端