Search results

WIP: Default Clauses and Default Return Values

enhancementNew feature or requestNew feature or request

Status: Open.

#443 In polarity-lang/polarity;

· BinderDavid opened on Jan 14, 2025

Ctrl + S does not work in webdemo

bugSomething isn't workingSomething isn't working

Status: Open.

#414 In polarity-lang/polarity;

· BinderDavid opened on Dec 9, 2024

Represent toplevel comments in the AST

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#406 In polarity-lang/polarity;

· BinderDavid opened on Dec 4, 2024

Bad error messages for invalid use clauses

bugSomething isn't workingSomething isn't working

error-message

Status: Open.

#405 In polarity-lang/polarity;

· BinderDavid opened on Dec 4, 2024

Show ignored testcases in output of testsuite

testsuiteConcerning tests and the testsuiteConcerning tests and the testsuite

Status: Open.

#393 In polarity-lang/polarity;

· BinderDavid opened on Nov 28, 2024

Tracking Issue: pol doc documentation generator

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

Status: Open.

#358 In polarity-lang/polarity;

· BinderDavid opened on Nov 9, 2024

Add code action to lift local match to toplevel

enhancementNew feature or requestNew feature or request

lsp

Status: Open.

#357 In polarity-lang/polarity;

· BinderDavid opened on Nov 9, 2024

Reproduce problematic case of Ulf Norell's PhD

bugSomething isn't workingSomething isn't working

unification

Status: Open.

#341 In polarity-lang/polarity;

· BinderDavid opened on Oct 27, 2024

Add tests for LSP Server

testsuiteConcerning tests and the testsuiteConcerning tests and the testsuite

Status: Open.

#208 In polarity-lang/polarity;

· BinderDavid opened on May 12, 2024

Lexical syntax of names

Status: Open.

#201 In polarity-lang/polarity;

· BinderDavid opened on May 8, 2024

Unify toplevel codefinition and local comatch.

Status: Open.

#194 In polarity-lang/polarity;

· BinderDavid opened on May 4, 2024

Unification should schedule and normalize constraints

enhancementNew feature or requestNew feature or request

unification

Status: Open.

#172 In polarity-lang/polarity;

· BinderDavid opened on Mar 25, 2024