Skip to content

Conversation

TomasVotruba
Copy link
Member

@TomasVotruba TomasVotruba commented Dec 14, 2021

@TomasVotruba TomasVotruba enabled auto-merge (squash) December 14, 2021 14:19
@TomasVotruba TomasVotruba merged commit 7cdd03e into main Dec 14, 2021
@TomasVotruba TomasVotruba deleted the tv-intersection-objetcs-only branch December 14, 2021 14:22
@OskarStark
Copy link
Contributor

Thanks

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.

Wrong documentation regarding intersection types
2 participants