Skip to content

[minor] Improve typechecking for pred/fun use, update Sterling#299

Merged
tnelson merged 3 commits intodevfrom fix_pred_errorsFeb 19, 2025

Commits

Commits on Feb 18, 2025