List view

Possible extensions for more interesting impl

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#174 In Beluga-lang/McTT;

· Ailrun opened on Sep 6, 2024

Some leads on contra-variant subtyping

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#129 In Beluga-lang/McTT;

· HuStmpHrrr opened on Jun 28, 2024

Experiment on contra-variant subtyping

Status: Draft (not ready).

Beluga-lang/McTTnumber 301

#301 In Beluga-lang/McTT;

· jiangsy opened on Aug 24, 2025