Effect CommunityEC
Effect Community4w ago
3 replies
Tobi

Using Patterns in Effect-ts for Dependent Type Guarantees

What patterns can I use in Effect-ts to get closest to dependent type guarantees like in lean?
Was this page helpful?