Skip to content

Allow named arguments for some anoma builtins#3310

Merged
janmasrovira merged 2 commits intomainfrom fix-anoma-builtin-checksFeb 3, 2025

Commits