PR #1747 Add support for defining extra builtins

Add support for defining extra builtins #1747

charliermarsh merged 1 commit into main from charlie/builtins

Add support for defining extra builtins

be45da58

charliermarsh force pushed from 537e2a2d to be45da58 2 years ago

charliermarsh merged 2729f3d2 into main 2 years ago

charliermarsh deleted the charlie/builtins branch 2 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone