Fix typecheck. #14

Merged
drew merged 1 commit from typecheck into main 2025-09-27 09:13:01 +00:00

1 commit

Author SHA1 Message Date
b0750c82d9 Fix typecheck.
All checks were successful
Check / Backend (pull_request) Successful in 4m56s
Check / Frontend (pull_request) Successful in 1m56s
2025-09-27 01:59:10 -07:00