Alidra

Add support for Lambdapi language (.lp)

2

## Description ## Checklist: - [x] **I am adding a new language.** - [x] The extension of the new language is used in hundreds of repositories on GitHub.com. - Search...

Fixing diagnostics

1

This PR addresses issue https://github.com/Deducteam/lambdapi/issues/1274 - Messages in the diagnostics are made a bit more expressive. - The diagnostic on the ";" at the end of symbol introduction is removed....