Dafny support - Githubissues

AlDanial / cloc

cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.

GNU General Public License v2.0

19.75k stars 1.02k forks source link

Closed robin-aws closed 1 year ago

robin-aws commented 1 year ago

If you want an unsupported language added, provide:

language name: Dafny
file extension(s): *.dfy
method(s) of commenting text: C-style (//, / .. /) but supporting nesting. https://dafny.org/latest/DafnyRef/DafnyRef#sec-comments
location of sample code: https://dafny.org/latest/OnlineTutorial/guide