albatross:信天翁语言编译器
需积分: 9 168 浏览量
2021-05-22
05:48:00
上传
评论
收藏 506KB ZIP 举报
albatross:信天翁语言编译器 （285个子文件） 
_tags 39B order_relation.al 37KB natural.al 17KB endorelation.al 14KB function.al 14KB partial_order.al 9KB core.al 9KB predicate.al 9KB relation.al 6KB confluence.al 6KB list.al 6KB list_sort.al 3KB boolean.al 2KB semilattice.al 2KB linear_order.al 2KB predicate_order.al 2KB binary_tree.al 2KB closure_system.al 2KB option.al 217B order_relation.ali 17KB core.ali 6KB partial_order.ali 5KB function.ali 5KB endorelation.ali 5KB natural.ali 4KB list.ali 3KB predicate.ali 3KB relation.ali 2KB confluence.ali 2KB closure_system.ali 1001B binary_tree.ali 815B linear_order.ali 729B boolean.ali 694B semilattice.ali 688B option.ali 212B predicate_order.ali 207B style.css 1KB dune 472B dune 389B dune 291B dune 237B dune 230B dune 209B dune 201B dune 198B dune 172B dune 171B dune 101B dune 58B dune-project 36B dune_draft 1KB albatross-mode.el 3KB .gitignore 322B .gitignore 38B .gitignore 13B .gitignore 10B
index.html 1KB index.html 49B alba-serve.js 5KB package.json 389B package.json 282B makefile 6KB makefile 2KB self_interpretation.md 12KB expression.md 8KB branches.md 2KB installation.md 1KB README.md 633B feature_table.ml 93KB proof_context.ml 83KB source_prover.ml 55KB term.ml 55KB class_table.ml 53KB context.ml 47KB term_builder.ml 45KB typer.ml 39KB proof_table.ml 36KB ast.ml 35KB parser_lang.ml 32KB character_parser.ml 31KB browser.ml 27KB proof.ml 27KB term_table.ml 25KB prover.ml 25KB pretty_printer.ml 24KB red_black.ml 23KB module.ml 22KB support.ml 19KB build_inductive.ml 19KB unifier.ml 19KB build_context.ml 18KB induction.ml 18KB container.ml 18KB build.ml 18KB rule_data.ml 17KB pretty_state.ml 16KB native_io.ml 15KB term_algo.ml 14KB pretty_print.ml 14KB term.ml 14KB共 285 条
- 1
- 2
- 3
资源评论
