#prolog #traits #compiler #define

chalk-ir

Chalk的内部类型、目标和条款表示

83次重大发布

0.98.0 2024年7月7日
0.96.0 2024年1月7日
0.95.0 2023年11月19日
0.92.0 2023年6月18日
0.19.0 2020年7月26日

#22编程语言

Download history · Rust 包仓库 8373/week @ 2024-04-29 · Rust 包仓库 7902/week @ 2024-05-06 · Rust 包仓库 8078/week @ 2024-05-13 · Rust 包仓库 8854/week @ 2024-05-20 · Rust 包仓库 8294/week @ 2024-05-27 · Rust 包仓库 8527/week @ 2024-06-03 · Rust 包仓库 9111/week @ 2024-06-10 · Rust 包仓库 9302/week @ 2024-06-17 · Rust 包仓库 8796/week @ 2024-06-24 · Rust 包仓库 8595/week @ 2024-07-01 · Rust 包仓库 8373/week @ 2024-07-08 · Rust 包仓库 9353/week @ 2024-07-15 · Rust 包仓库 8691/week @ 2024-07-22 · Rust 包仓库 9100/week @ 2024-07-29 · Rust 包仓库 8712/week @ 2024-08-05 · Rust 包仓库 7235/week @ 2024-08-12 · Rust 包仓库

34,826 每月下载量
27 个crate中使用 (5 直接)

MIT/Apache

290KB
6K SLoC

chalk 的 rust 类型库。

有关最新信息,请参阅 Github


lib.rs:

定义类型和逻辑谓词的IR。

依赖关系

~0.4–0.9MB
~20K SLoC