Repository navigation

Support external library contracts in Latte and LiquidTypeChecking - #35

Open

alcides wants to merge 1 commit into

feat/latte-liquid-typecheckingfrom

feat/external-library-refinements

Open

Support external library contracts in Latte and LiquidTypeChecking#35
alcides wants to merge 1 commit into
feat/latte-liquid-typecheckingfrom
feat/external-library-refinements

Commits on Nov 4, 2026
- Support external Java library contracts in Latte and LiquidTypeChecking
  alcides
  committed
  89ded1e