search

overturetool / vdm-vscode

Visual Studio Code extension for VDM language support
GNU General Public License v3.0
21 stars 6 forks source link

#210 Make ChessVDM follow naming convention #211

Closed mortenhaahr closed 1 year ago

mortenhaahr commented 1 year ago

I didn't realize we had a naming convention