Skip to content

Support selecting ty as the type checker#70

Merged
fpgmaas merged 1 commit intofpgmaas:mainfrom
zrquan:feat-ty
Jul 31, 2025
Merged

Support selecting ty as the type checker#70
fpgmaas merged 1 commit intofpgmaas:mainfrom
zrquan:feat-ty

Commits

Commits on Jul 30, 2025