albatross:信天翁编程语言-开源
需积分: 5 52 浏览量
2021-05-15
05:02:33
上传
评论
收藏 224KB GZ 举报
albatross:信天翁编程语言-开源 （105个子文件） 
_tags 17B order_relation.al 36KB function.al 14KB natural.al 12KB endorelation.al 11KB partial_order.al 9KB core.al 9KB predicate.al 7KB relation.al 6KB confluence.al 6KB list.al 5KB list_sort.al 3KB semilattice.al 2KB linear_order.al 2KB predicate_order.al 2KB binary_tree.al 2KB boolean.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 4KB natural.ali 3KB list.ali 3KB predicate.ali 3KB relation.ali 2KB confluence.ali 1KB closure_system.ali 1001B binary_tree.ali 815B linear_order.ali 729B semilattice.ali 688B boolean.ali 555B option.ali 212B predicate_order.ali 207B descr 103B albatross-mode.el 3KB .gitignore 259B alba.install 3KB makefile 5KB makefile 105B README.md 2KB feature_table.ml 96KB proof_context.ml 77KB term.ml 54KB class_table.ml 52KB context.ml 47KB source_prover.ml 43KB term_builder.ml 41KB typer.ml 35KB ast.ml 35KB proof_table.ml 34KB proof.ml 27KB term_table.ml 22KB module.ml 22KB support.ml 19KB rule_data.ml 17KB container.ml 13KB prover.ml 13KB term_algo.ml 13KB inherit.ml 12KB signature.ml 8KB tvars.ml 8KB command_line.ml 8KB alba_generic.ml 7KB topological_sort.ml 5KB type_substitution.ml 3KB platform.ml 2KB pattern.ml 2KB feature.ml 2KB map_table.ml 2KB alba.ml 1KB ass_seq.ml 772B constants.ml 578B context.mli 7KB class_table.mli 7KB feature_table.mli 7KB proof_context.mli 5KB proof_table.mli 4KB tvars.mli 3KB module.mli 2KB term_builder.mli 2KB rule_data.mli 1KB platform.mli 1005B term_table.mli 1004B feature.mli 923B typer.mli 771B map_table.mli 735B topological_sort.mli 712B constants.mli 542B command_line.mli 444B inherit.mli 439B type_substitution.mli 379B source_prover.mli 368B alba_generic.mli 245B ass_seq.mli 173B term_algo.mli 166B pattern.mli 157B ast.mli 72B共 105 条
- 1
- 2
资源评论
