simon/linol
1
0
Fork 0
mirror of https://github.com/c-cube/linol.git synced 2026-01-30 05:14:56 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
linol/src
History
Simon Cruanes 2a3c815a08 fix warning
2021-04-14 22:39:07 -04:00
..
lwt big refactor: jsonrpc2 is now part of linol; provide blocking IO 2021-03-25 17:09:03 -04:00
blocking_IO.ml fix warning 2021-04-14 22:39:07 -04:00
blocking_IO.mli big refactor: jsonrpc2 is now part of linol; provide blocking IO 2021-03-25 17:09:03 -04:00
dune use logs to log stuff 2021-04-08 19:52:35 -04:00
jsonrpc2.ml fix: debug message was making lsp crash 2021-04-08 20:30:36 -04:00
jsonrpc2.mli use logs to log stuff 2021-04-08 19:52:35 -04:00
linol.ml use logs to log stuff 2021-04-08 19:52:35 -04:00
log.ml use logs to log stuff 2021-04-08 19:52:35 -04:00
server.ml config for documentSymbolProvider 2021-04-13 15:30:03 -04:00
sigs.ml big refactor: jsonrpc2 is now part of linol; provide blocking IO 2021-03-25 17:09:03 -04:00