Search results

Teika LSP

Status: Open.

#229 In teikalang/teika;

· EduardoRFS opened on Dec 2, 2024

Fixpoint equality

Status: Open.

#208 In teikalang/teika;

· EduardoRFS opened on Apr 7, 2024

Teika MVP

Status: Open.

#206 In teikalang/teika;

· EduardoRFS opened on Feb 4, 2024

Bind, hoist and parens

Status: Open.

#205 In teikalang/teika;

· EduardoRFS opened on Dec 28, 2023

Many languages and syntax

Status: Open.

#201 In teikalang/teika;

· EduardoRFS opened on Dec 26, 2023

Implement Language MVP

Status: Open.

#199 In teikalang/teika;

· EduardoRFS opened on Dec 26, 2023

Design Language MVP

Status: Open.

#198 In teikalang/teika;

· EduardoRFS opened on Dec 26, 2023

Design Calculus MVP

Status: Open.

#197 In teikalang/teika;

· EduardoRFS opened on Dec 26, 2023

Commit on self types

Status: Open.

#186 In teikalang/teika;

· EduardoRFS opened on Nov 14, 2023

Implement Smol MVP

Status: Open.

#184 In teikalang/teika;

· EduardoRFS opened on Nov 14, 2023

Design Smol MVP

Status: Open.

#183 In teikalang/teika;

· EduardoRFS opened on Nov 14, 2023

extending should not break packages

Status: Open.

#182 In teikalang/teika;

· EduardoRFS opened on Oct 5, 2023