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

MIT license

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