3 releases
| 0.1.3 | May 11, 2023 |
|---|---|
| 0.1.2 | Apr 2, 2023 |
| 0.1.1 | Mar 3, 2023 |
#1513 in Programming languages
89 downloads per month
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
~15MB
~293K SLoC