Skip to content

Index named AST in espr#201

Merged
termoshtt merged 6 commits intomasterfrom
revise-namespace
Mar 1, 2022
Merged

Index named AST in espr#201
termoshtt merged 6 commits intomasterfrom
revise-namespace

Conversation

@termoshtt
Copy link
Contributor

@termoshtt termoshtt commented Feb 27, 2022

Split from #200, which requires references to ENTITY should be Ord.

@termoshtt termoshtt changed the title Refactoring namespace handling in espr Index named AST in espr Mar 1, 2022
@termoshtt termoshtt self-assigned this Mar 1, 2022
@termoshtt termoshtt marked this pull request as ready for review March 1, 2022 14:54
@termoshtt termoshtt merged commit a8a0fe9 into master Mar 1, 2022
@termoshtt termoshtt deleted the revise-namespace branch March 1, 2022 16:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant