Lib.rs

› Programming languages
#compiler #kinds #kind-parser

kind-parser

Parser for the kind compiler

by algebraic-sofia

4 releases

0.1.3 May 11, 2023
0.1.2 Apr 2, 2023
0.1.1 Mar 3, 2023
0.1.0 Jan 26, 2023

#694 in Programming languages


Used in 3 crates (2 directly)

MIT license

105KB
2.5K SLoC

Crate to parse the kind2 grammar.

Dependencies

~9–16MB
~222K SLoC