Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!498
add conversions between functors
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ralf Jung
requested to merge
ralf/functors
into
master
Sep 07, 2020
Overview
15
Commits
3
Pipelines
0
Changes
4
Expand
Fixes
#342 (closed)
Cc
@Blaisorblade
Merge request reports