Skip to content

Conversation

mario-bucev
Copy link
Collaborator

Previously, performing an unfold on a val to a function or on an imperative function would do nothing.

@mario-bucev mario-bucev force-pushed the unfold-opaque-imperative branch from c22bd18 to 9f0b888 Compare May 27, 2024 12:41
@vkuncak vkuncak merged commit f2159c9 into epfl-lara:main May 27, 2024
@mario-bucev mario-bucev deleted the unfold-opaque-imperative branch August 23, 2024 07:34
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