Lib.rs

› 编程语言
#petr #stage #compiler #effect #programmable #programming #typecheck

petr-typecheck

由 Alex Hansen 编写

1个不稳定版本

0.1.0 2024年7月23日

在 编程语言 中排名第 755

Download history · Rust 包仓库 110/week @ 2024-07-22 · Rust 包仓库 12/week @ 2024-07-29 · Rust 包仓库 13/week @ 2024-08-12 · Rust 包仓库

每月下载量 135
用于 6 个crates（4个直接使用）

MIT 许可证

135KB
3.5K SLoC

petr编译器的类型检查阶段

依赖项

~3.5–5MB
~98K SLoC