Skip to content
GitLab
Explore
Sign in
Register
curry-packages
containers
Merge requests
!1
Add Data.Set
Code
Review changes
Check out branch
Download
Patches
Plain diff
Fredrik Wieczerkowski
requested to merge
sets
into
master
Nov 28, 2020
Overview
0
Commits
1
Pipelines
0
Changes
1
Expand
Adds the
Data.Set
type, ported from KiCS2
Merge request reports