Merge pull request #3639 from Ferdinand-vW/master

Add tuple-sop package
This commit is contained in:
Jens Petersen 2018-05-16 11:36:23 +09:00 committed by GitHub
commit dfaad04656
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -42,7 +42,7 @@ packages:
- hamtsolo
"Ferdinand van Walree <ferdinandvwalree@gmail.com> @Ferdinand-vW":
[]
- tuple-sop
# - sessiontypes # lens 4.16 via diagrams
# - sessiontypes-distributed # lens 4.16 via diagrams