3 releases
| 0.1.3 | May 11, 2023 |
|---|---|
| 0.1.2 | Apr 2, 2023 |
| 0.1.1 | Mar 3, 2023 |
#1248 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
~10–18MB
~254K SLoC