Merge pull request #3639 from Ferdinand-vW/master
Add tuple-sop package
commitdfaad046563112e09a7d2c39d959408a8c64c79d
authorJens Petersen <juhpetersen@gmail.com>
dateWed 16 May 2018, 11:36 (8 years ago)
parent4b8047398b8b12
build-constraints.yaml+1−1
@@ -42,7 +42,7 @@ packages:
4242 - hamtsolo
4343
4444 "Ferdinand van Walree <ferdinandvwalree@gmail.com> @Ferdinand-vW":
45− []
45+ - tuple-sop
4646 # - sessiontypes # lens 4.16 via diagrams
4747 # - sessiontypes-distributed # lens 4.16 via diagrams
4848