idris-jvm
Idris的JVM字节码后端
先决条件
与libffi。 要使用cabal在libffi中安装Idris： cabal install idris -f ffi
Java 8
安装
从下载并提取JVM字节码后端。 确保下载与您的Idris版本相对应的发行版。
使用提取的目录路径定义IDRIS_JVM_HOME变量
从解压缩的目录中，运行$IDRIS_JVM_HOME/bin/install以安装idris-jvm的Idris软件包。
将$IDRIS_JVM_HOME/codegen/bin添加到PATH 。
例子
helloworld.idr
module Main
import IdrisJvm.IO
data Tree a = Leaf
| Node ( Tree a) a ( Tree a)
inorder : Tree a ->
