Lib.rs

› 编程语言
#module #driver #kind #query #compiler #watch #repl

kind-query

kind编译器的查询模块

所属 Sofia Rodrigues.

3个版本

0.1.3 2023年5月11日
0.1.2 2023年4月2日
0.1.1 2023年3月3日

#1099 in 编程语言


用于 kind2

MIT 许可证

10KB
201 行

此模块是驱动模块的泛化。它对LSP、Watch、Repl以及许多其他事物都非常有用。

依赖项

~9–12MB
~235K SLoC