Skip to content

Conversation

@lambdalisue
Copy link
Member

@lambdalisue lambdalisue commented Aug 26, 2023

The original idea comes from @Milly at #32 and this PR close #32.

@lambdalisue lambdalisue mentioned this pull request Aug 26, 2023
@lambdalisue lambdalisue merged commit aa75726 into main Aug 26, 2023
@lambdalisue lambdalisue deleted the support-literal branch August 26, 2023 12:42
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.

2 participants