List view

Type checking recursive/cyclic functions

blockingThese issues are blocking the checker being used in projectsThese issues are blocking the checker being used in projects

checkingIssues around checkingIssues around checking

Status: Open.

#29 In kaleidawave/ezno;

· kaleidawave opened on Jun 12, 2023

Lookup/computed generics for collection types & more

blockingThese issues are blocking the checker being used in projectsThese issues are blocking the checker being used in projects

checkingIssues around checkingIssues around checking

subtypingRelated to comparing two typesRelated to comparing two types

Status: Open.

#34 In kaleidawave/ezno;

· kaleidawave opened on Jun 16, 2023

Inferred generic (poly type) constraints

checkingIssues around checkingIssues around checking

feedback-neededExtra attention/consensus is neededExtra attention/consensus is needed

Status: Open.

#35 In kaleidawave/ezno;

· kaleidawave opened on Jun 19, 2023