Search results

Atomic effect variables (?)

Status: Open.

#881 In koka-lang/koka;

· omegametabroccolo opened on Mar 26, 2026

Functions with only implicit arguments are never eta-expanded

Status: Open.

#879 In koka-lang/koka;

· HeikoRibberink opened on Mar 25, 2026

Capture-avoiding substitution for forall types

Status: Open.

#872 In koka-lang/koka;

· TimWhiting opened on Mar 21, 2026

NbE workload

Status: Open.

#869 In koka-lang/koka;

· SchrodingerZhu opened on Mar 4, 2026

Rename error<a> to result<a>

Status: Open.

#867 In koka-lang/koka;

· HeikoRibberink opened on Feb 11, 2026

Recursion on two inductive values is spuriously found divergent sometimes

Status: Open.

#862 In koka-lang/koka;

· zephyrtronium opened on Jan 21, 2026

Naming clash not reported between effect function and regular function

Status: Open.

#861 In koka-lang/koka;

· timbertson opened on Jan 20, 2026

Match completeness misses simple cases

bug

Status: Open.

#858 In koka-lang/koka;

· TimWhiting opened on Jan 7, 2026

Effect widening doesn't occur for effect parameters

Status: Open.

#857 In koka-lang/koka;

· timbertson opened on Dec 29, 2025

Reference count never goes to 0 with complex effect (async)?

Status: Open.

#854 In koka-lang/koka;

· timbertson opened on Dec 26, 2025

Type aliases should not be expanded when containing phantom type parameters.

bug

Status: Open.

#850 In koka-lang/koka;

· TimWhiting opened on Dec 11, 2025

Broken some inference

Status: Open.

#847 In koka-lang/koka;

· TimWhiting opened on Dec 5, 2025