rust-lang/chalk
@rust-lang使用类似 PROLOG 的逻辑求解器来实现与定义 Rust trait 系统
星数
2,013
Fork 数
183
语言
Rust
许可
NOASSERTION
最后推送
7个月前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
使用类似 PROLOG 的逻辑求解器来实现与定义 Rust trait 系统
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。