search

ProVerif / vscode-proverif-language-service

ProVerif support for VSCode
MIT License
1 stars 0 forks source link

Proposal: Doccomments #25

Open famoser opened 7 months ago

famoser commented 7 months ago

OCaml supports doccomments, which could be added here too.

For example:

(** Generation of fresh Diffie-Hellman keys. Returns a pair (kpriv,kpub) *)
letfun DHKeygen() =
new s:scalar;
(s,dh(s,G))
.

Expectation of what vscode then should display:

image

famoser commented 7 months ago

The doccomment should also be highlighted appropriately by the TextMate grammar.