Repository navigation

Use a structural approach to type inference - #3

Merged

kyay10 merged 16 commits into

Jul 10, 2026

Merged

Use a structural approach to type inference#3
kyay10 merged 16 commits into
masterfrom
structural

Commits on Jan 29, 2026
- Add church.kt
  kyay10
  committed
  e9a8815
Commits on Feb 2, 2026
- Hide expanded type from fir dump
  kyay10
  committed
  d09ba81
- PoC structural
  kyay10
  committed
  6dc9e39
Commits on Feb 3, 2026
- Cleanup
  kyay10
  committed
  5e845f3
- Make K invariant, and remove variance flip
  kyay10
  committed
  5cb431e
Commits on Feb 4, 2026
- Add truth
  kyay10
  committed
  9437341
- Add type parameter to Truth
  kyay10
  committed
  b2f7cb2
- Fix variance using Truth
  kyay10
  committed
  b48dd13
- Remove unnecessary type expansions
  kyay10
  committed
  170f848
Commits on Feb 8, 2026
- Support nested Eval types
  kyay10
  committed
  7dfea48
Commits on Feb 9, 2026
- Provide K Eval option for K types with type parameter as real type
  kyay10
  committed
  f3988d6
Commits on Feb 12, 2026
- WIP
  kyay10
  committed
  254fd08
Commits on May 24, 2026
- Bump versions and use nmcp
  kyay10
  committed
  4103c4d
Commits on Jul 10, 2026
- Make sonatype credentials optional
  kyay10
  committed
  00494fd
- Upgrade to Kotlin 2.4.0
  kyay10
  committed
  02be6ae
- Add klib ABI
  kyay10
  committed
  ab84c6c