Closed expipiplus1 closed 7 years ago
Void is in base now, the comment on X says that once this is the case then pipes will use type X = Void
Void
X
type X = Void
There is one last thing I would like to fix before depending on void, and I opened an issue to track that here: https://github.com/ekmett/void/issues/13
void
Void
is in base now, the comment onX
says that once this is the case then pipes will usetype X = Void