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