on master help sign in
Add tuple-sop package
98b8b12ferdinand
build-constraints.yaml+1−1
@@ -42,7 +42,7 @@ packages:
42 - hamtsolo
42 - hamtsolo
43
43
44 "Ferdinand van Walree <ferdinandvwalree@gmail.com> @Ferdinand-vW":
44 "Ferdinand van Walree <ferdinandvwalree@gmail.com> @Ferdinand-vW":
45− []
45+ - tuple-sop
46 # - sessiontypes # lens 4.16 via diagrams
46 # - sessiontypes # lens 4.16 via diagrams
47 # - sessiontypes-distributed # lens 4.16 via diagrams
47 # - sessiontypes-distributed # lens 4.16 via diagrams
48
48