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

Higher-order unification #466

Open
intsuc opened this issue Jul 1, 2023 · 0 comments
Open

Higher-order unification #466

intsuc opened this issue Jul 1, 2023 · 0 comments
Assignees
@intsuc
Labels
enhancement New feature or request language Language design priority: normal

Comments

@intsuc
Copy link
Member

intsuc commented Jul 1, 2023

No description provided.

@intsuc intsuc added enhancement New feature or request priority: normal language Language design labels Jul 1, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@intsuc intsuc

Labels
enhancement New feature or request language Language design priority: normal
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@intsuc