flora
所属分类：数学计算
开发工具：OCaml
文件大小：0KB
下载次数：0
上传日期：2023-09-13 14:26:51
上 传 者：
sh-1993
说明： 一种纯嵌入式函数编程语言，具有代数效应和直接访问评估环境，
(A pure embeddable functional programming language with algebraic effects and direct access to evaluation environments,)
文件列表:
.ocamlformat (96, 2023-10-08)
bin/ (0, 2023-10-08)
bin/dune (75, 2023-10-08)
bin/main.ml (10273, 2023-10-08)
dune (96, 2023-10-08)
dune-project (533, 2023-10-08)
flora.opam (734, 2023-10-08)
floraedit/ (0, 2023-10-08)
floraedit/dune (70, 2023-10-08)
floraedit/main.ml (3333, 2023-10-08)
florainspect/ (0, 2023-10-08)
florainspect/dune (73, 2023-10-08)
florainspect/main.ml (2916, 2023-10-08)
florajs/ (0, 2023-10-08)
florajs/dune (160, 2023-10-08)
florajs/florajs.ml (5208, 2023-10-08)
lib/ (0, 2023-10-08)
lib/driver.ml (319, 2023-10-08)
lib/driver.mli (105, 2023-10-08)
lib/dune (75, 2023-10-08)
lib/error.ml (3268, 2023-10-08)
lib/error.mli (301, 2023-10-08)
lib/eval.ml (19659, 2023-10-08)
lib/eval.mli (2507, 2023-10-08)
lib/lexer.ml (8328, 2023-10-08)
lib/lexer.mli (275, 2023-10-08)
lib/loc.ml (208, 2023-10-08)
lib/loc.mli (136, 2023-10-08)
lib/parser.mly (4588, 2023-10-08)
lib/serialize.ml (38728, 2023-10-08)
lib/serialize.mli (829, 2023-10-08)
lib/syntax.ml (6100, 2023-10-08)
lib/tojson.ml (1893, 2023-10-08)
lib/tojson.mli (439, 2023-10-08)
lib/trace.ml (774, 2023-10-08)
lib/trace.mli (257, 2023-10-08)
lib/util.ml (809, 2023-10-08)
lib/util.mli (462, 2023-10-08)
... ...
# Flora
近期下载者：
相关文件：
收藏者：