3 releases
| 0.1.3 | May 11, 2023 |
|---|---|
| 0.1.2 | Apr 2, 2023 |
| 0.1.1 | Mar 3, 2023 |
#1045 in Programming languages
80 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
~9–12MB
~233K SLoC