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

implement const_projections syntax #7

Open
molikto opened this issue May 25, 2019 · 0 comments
Open

implement const_projections syntax #7

molikto opened this issue May 25, 2019 · 0 comments
Labels
good first issue Good for newcomers

Comments

@molikto
Copy link
Owner

molikto commented May 25, 2019 •
edited
Loading

search [issue 7] in code for background, or see this commit 1855e92

this issue only touch the parser and elaborator, don't touch the core
@molikto molikto added help wanted Extra attention is needed good first issue Good for newcomers and removed help wanted Extra attention is needed labels May 25, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
good first issue Good for newcomers
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@molikto