Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
Similar files (gmap, listset, ...) were already in singular form and matched the name of the set/map data type.
Robbert Krebbers authoredSimilar files (gmap, listset, ...) were already in singular form and matched the name of the set/map data type.
