Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!363
Make `big_op{L,M}_gen_proper_2` stronger
Code
Review changes
Check out branch
Download
Patches
Plain diff
Dmitry Khalanskiy
requested to merge
dkhalanskiyjb/iris:stronger_gen_proper_2
into
master
Jan 21, 2020
Overview
14
Commits
2
Pipelines
0
Changes
1
Expand
The existing versions did not allow the two structures to be over different types.
Solves
#262
Merge request reports