Our great sponsors
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Trying to run empty Ur shouldn't typecheck, because the Ur constructor is not linear. This seems to be an idiom used in other places of linear-base.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.
Related posts
- New release of Builder with linear types, now renderable both to Text and ByteString
- What I don't do is look at flour, water and salt, then map them all through an anonymous function, which gives me unstirred dough while leaving the original ingredients unchanged.
- Linear Types in Haskell
- What is the longterm status of -XLinearTypes ?
- Does Haskell allow pure functions to use *encapsulated* impurity