main.ml
Example_plugin
coq-lsp.coq
coq-lsp.fleche
coq-lsp.lang
coq-lsp.lsp
coq-lsp.plugin
fleche_waterproof
1 2 3 4 5 6 let simple_action ~io:_ ~doc = let uri = Lang.LUri.File.to_string_uri doc.Fleche.Doc.uri in Format.eprintf "[example plugin] file checking for %s was completed@\n%!" uri let main () = Fleche.Theory.Register.add simple_action let () = main ()
1 2 3 4 5 6
let simple_action ~io:_ ~doc = let uri = Lang.LUri.File.to_string_uri doc.Fleche.Doc.uri in Format.eprintf "[example plugin] file checking for %s was completed@\n%!" uri let main () = Fleche.Theory.Register.add simple_action let () = main ()