-
Notifications
You must be signed in to change notification settings - Fork 44
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#1456 In Deducteam/lambdapi;
- Status: Open.#1454 In Deducteam/lambdapi;
- Status: Open.#1451 In Deducteam/lambdapi;
- Status: Open.#1449 In Deducteam/lambdapi;
- Status: Open.#1447 In Deducteam/lambdapi;
- Status: Open.#1437 In Deducteam/lambdapi;
- Status: Open.#1436 In Deducteam/lambdapi;
- Status: Open.#1435 In Deducteam/lambdapi;
- Status: Open.#1407 In Deducteam/lambdapi;
- Status: Open.#1405 In Deducteam/lambdapi;
- Status: Open.#1364 In Deducteam/lambdapi;
no feedback in Emacs or VSCode
lspIssues related to Language Server ProtocolIssues related to Language Server ProtocolStatus: Open.#1363 In Deducteam/lambdapi;