Skip to content

Add support for forall over effects#16

Open
alvalentini wants to merge 1 commit intomasterfrom
forall-over-effects
Open

Add support for forall over effects#16
alvalentini wants to merge 1 commit intomasterfrom
forall-over-effects

Conversation

@alvalentini
Copy link
Member

No description provided.

@alvalentini alvalentini requested review from serivan and stoppini June 29, 2023 16:23
@stoppini stoppini force-pushed the master branch 12 times, most recently from e80c84f to 8ed62da Compare October 17, 2024 12:52
@stoppini stoppini force-pushed the master branch 2 times, most recently from cf403c3 to f1a1345 Compare December 16, 2024 10:58
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