labrys：System Fω 实验语言编译器
基于 LLVM、实现 System Fω 类型系统的玩具语言，支持效果与受检异常。
Labrys 是一个基于 LLVM 的玩具语言编译器，实现 System Fω（高阶多态）类型系统。特性包括效果（effects）、通过效果实现的受检异常、LLVM 后端与高阶多态。运行时需要 C 编译器（默认使用 cc）；构建需要最新 OPAM 与 OCaml，文档构建另需 Ott 与 Rubber。用法为编译 examples 目录中的模块（如 Hello、NativeFact、Fact），再运行生成的程序，编译器选项可通过 --help 查看。