Search results

Refined sessions

enhancementNew feature or requestNew feature or request

Status: Open.

#26 In freest-lang/freest;

· vmvasconcelos opened on Mar 15, 2026

Affine channels

enhancementNew feature or requestNew feature or request

Status: Open.

#25 In freest-lang/freest;

· vmvasconcelos opened on Mar 14, 2026

Accept as types all type operator when annotated with their kinds

enhancementNew feature or requestNew feature or request

wontfixThis will not be worked onThis will not be worked on

Status: Open.

#23 In freest-lang/freest;

· vmvasconcelos opened on Mar 5, 2026

Multiplicity subtyping and/or multiplicity polymorphism

enhancementNew feature or requestNew feature or request

Status: Open.

#20 In freest-lang/freest;

· vmvasconcelos opened on Feb 26, 2026

Should type application narrow down the kind of a type?

enhancementNew feature or requestNew feature or request

Status: Open.

#19 In freest-lang/freest;

· vmvasconcelos opened on Feb 25, 2026

Choice pattern + variable pattern incompatible semantics

Status: Open.

#13 In freest-lang/freest;

· tomascarreira opened on May 28, 2025

Value restriction

Status: Open.

#3 In freest-lang/freest;

· gatpsilva opened on Jul 23, 2024

Existential types

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#1 In freest-lang/freest;

· vmvasconcelos opened on May 29, 2024