gram-master.zip
(预估有个37文件)
gram-master
release.sh
2KB
.ignore
83B
grammar.y
3KB
Cargo.lock
10KB
.github
pull_request_template.md
113B
ISSUE_TEMPLATE
bug_report.md
413B
feature_request.md
368B
workflows
ci.yml
540B
CONTRIBUTING.md
2KB
install.sh
2KB
src
equality.rs
36KB
error.rs
10KB
evaluator.rs
36KB
main.rs
10KB
token.rs
3KB
format.rs
797B
type_checker.rs
62KB
assertions.rs
4KB
term.rs
26KB
de_bruijn.rs
67KB
normalizer.rs
36KB
parser.rs
171KB
unifier.rs
47KB
tokenizer.rs
26KB
Cargo.toml
542B
examples
girard_paradox.g
2KB
infinite_type.g
44B
propositional_equality.g
1KB
factorial.g
96B
infinite_recursion.g
46B
identity.g
69B
LICENSE.md
1KB
.gitignore
80B
toast.yml
6KB
CHANGELOG.md
307B
CODE_OF_CONDUCT.md
3KB
README.md
2KB
暂无评论