Skip to content

WIP: implement lazy by lambda in EAst#1140

Draft
yforster wants to merge 3 commits intocoq-8.20from
implement-lazy
Draft

WIP: implement lazy by lambda in EAst#1140
yforster wants to merge 3 commits intocoq-8.20from
implement-lazy

Conversation

@yforster
Copy link
Member

No description provided.

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