This repository has been archived by the owner on Oct 19, 2023. It is now read-only.

`builtin`s as terms #478

Closed

intsuc opened this issue Jul 20, 2023 · 0 comments

Assignees

Labels

language priority: normal

Member

intsuc commented Jul 20, 2023

No description provided.

intsuc added priority: normal language labels

github-actions bot assigned intsuc

intsuc closed this as completed in

0abc61f

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.