Lib.rs

›

kind-driver

Owned by Sofia Rodrigues.

4 releases

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


Used in kind2

MIT license

26KB
606 lines

Driver for the kind compiler

Dependencies

~17–26MB
~341K SLoC