Forked from
Iris / Iris
8030 commits behind the upstream repository.
-
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.
