search

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
269 stars 35 forks source link

Vscode extension : fix typo in Make file #1114

Closed Alidra closed 4 months ago

Alidra commented 4 months ago

A typo in the publish-vscode-extension entry in the Makefile prevents the Vscode extension from being published. This PR fixes this issue.