Skip to content
GitLab
Explore
Sign in
Iris
Iris
Issues
#245
Add IntoAnd instance (and more) for array
We should add
IntoAnd
instances (and friends) for
array
. This has been discussed
here
.
Edited
Jun 14, 2019
by
Rodolphe Lepigre