This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
I think the thing I’m finding I want but don’t yet have from core.typed is support for case splitting ala haskell or idris, mostly for union types. Has anyone written anything along these lines? It would seem to require help from the
pred macro, at least for union types that aren’t composed of disjoint class types.