Repository navigation

Add Logic Subtyping Implementation - #567

Draft

auht wants to merge 6 commits into

hkust-taco:hkmc2from

auht:logic-subtyping-1

Draft

Add Logic Subtyping Implementation#567
auht wants to merge 6 commits into
hkust-taco:hkmc2from
auht:logic-subtyping-1

Commits on Oct 6, 2026
- init draft
  auht
  committed
  c1b08a8
Commits on Oct 20, 2026
- Merge remote-tracking branch 'upstream/hkmc2' into logic-subtyping-1
  auht
  committed
  7eb494e
- draft progress
  auht
  committed
  5905d7b
- minor
  auht
  committed
  e52d7db
- add test
  auht
  committed
  1aba78a
Commits on Oct 21, 2026
- minor refactor
  auht
  committed
  e28a02a