#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 8373/week @ 2024-04-29 7902/week @ 2024-05-06 8078/week @ 2024-05-13 8854/week @ 2024-05-20 8294/week @ 2024-05-27 8527/week @ 2024-06-03 9111/week @ 2024-06-10 9302/week @ 2024-06-17 8796/week @ 2024-06-24 8595/week @ 2024-07-01 8373/week @ 2024-07-08 9353/week @ 2024-07-15 8691/week @ 2024-07-22 9100/week @ 2024-07-29 8712/week @ 2024-08-05 7235/week @ 2024-08-12

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

MIT/Apache

290KB
6K SLoC

chalk 的 rust 类型库。

有关最新信息,请参阅 Github


lib.rs:

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

依赖关系

~0.4–0.9MB
~20K SLoC