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
26KB
606 lines
Driver for the kind compiler
Dependencies
~17–26MB
~341K SLoC
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
26KB
606 lines
Driver for the kind compiler
~17–26MB
~341K SLoC