Continuation

The continuation type β€” spelled ? β€” is the dual of unit. It has no expression syntax whatsoever β€” it’s only usable in processes. Turn the page to learn all about that!