Code

working on subtyping impl#152

Code

Merged

HuStmpHrrr merged 8 commits intomainBeluga-lang/McTT:mainfrom feature/subtyping-implBeluga-lang/McTT:feature/subtyping-implCopy head branch name to clipboardAug 21, 2024

+230-23

Commits

Commits on Aug 20, 2024

• working on subtyping impl

  HuStmpHrrr

  committed
  fb6e1fc

• fux subtyping impl

  HuStmpHrrr

  committed
  ae65659

• implement an NbE for types

  HuStmpHrrr

  committed
  30f229a

• what's wrong with Equations

  HuStmpHrrr

  committed
  358c3db

• define subtyping

  HuStmpHrrr

  committed
  6ae9082

• finish subtyping

  HuStmpHrrr

  committed
  c8eee0b

• simplify proofs

  HuStmpHrrr

  committed
  5728c0e

• further improvement

  HuStmpHrrr

  committed
  ad31732