文件名称：Beluga:上下文类型符合机械化的元理论！
文件大小：1.24MB
文件格式：ZIP
更新时间：2024-05-24 19:14:12
dependent-types ocaml lf beluga hoas
是一种功能性编程语言，旨在用于对形式系统进行推理。 它具有直接支持使用高级抽象语法的对象级绑定结构的功能，并将上下文视为第一类对象。 安装和配置指南 要使用Beluga，必须安装以下软件包： opam ocaml 4.05.0以上版本： ：//caml.inria.fr/download.en.html extlib： : gen： ： linenoise： ： sedlex： ： 可选依赖项（用于改进的beli模式）： rlwrap： ： //utopia.knoware.nl/~hlub/uck/rlwrap/ 一般说明 $ YOUR_PKG_MNGR install opam $ opam init --bare $ opam switch create ocaml-base-compiler.4.09.0 $ eval $( opam env ) #