Add IntoAnd instance (and more) for array
We should add IntoAnd
instances (and friends) for array
.
This has been discussed here.
Edited by Rodolphe Lepigre
We should add IntoAnd
instances (and friends) for array
.
This has been discussed here.