-
Notifications
You must be signed in to change notification settings - Fork 11
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Validate generated license metadata before release
toolingChanges related to toolingChanges related to toolingStatus: Open.#507 In purefunctor/purescript-iris;Keep LSP workspace preparation off the protocol loop
enhancementNew feature or requestNew feature or requestlanguage-serverRelated to the language serverRelated to the language serverStatus: Open.#506 In purefunctor/purescript-iris;Move documentation website to alexandrite-website
0.1.xMilestone for first end-to-end releaseMilestone for first end-to-end releasedocumentationImprovements or additions to documentationImprovements or additions to documentationtoolingChanges related to toolingChanges related to toolingStatus: Open.#488 In purefunctor/purescript-iris;Move language server command to explicit lsp subcommand
0.1.xMilestone for first end-to-end releaseMilestone for first end-to-end releasebreakingIntroduces a breaking changeIntroduces a breaking changelanguage-serverRelated to the language serverRelated to the language servertoolingChanges related to toolingChanges related to toolingStatus: Open.#486 In purefunctor/purescript-iris;[backend] Productise code generation
0.1.xMilestone for first end-to-end releaseMilestone for first end-to-end releaseenhancementNew feature or requestNew feature or requestStatus: Open.#342 In purefunctor/purescript-iris;- Status: Open.#264 In purefunctor/purescript-iris;
[checking] elide_missing_patterns does not account for Partial via superclass entailment
checkingRelated to the type checkerRelated to the type checkersemanticsSemantics to be refinedSemantics to be refinedStatus: Open.#147 In purefunctor/purescript-iris;- Status: Open.#69 In purefunctor/purescript-iris;
- Status: Open.#61 In purefunctor/purescript-iris;