3 releases
0.1.3 | May 11, 2023 |
---|---|
0.1.2 | Apr 2, 2023 |
0.1.1 | Mar 3, 2023 |
#1099 in Programming languages
Used in kind2
10KB
201 lines
This module is a generalization of the driver module. It is useful both for LSPs, Watch, Repl and many other things.
Dependencies
~9–12MB
~235K SLoC