Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
GLR tweaks for advent2012-day13.t
  • Loading branch information
@dwarring
dwarring committed Aug 22, 2015
1 parent 59b6d26 commit b50b3f9
Showing 1 changed file with 12 additions and 12 deletions.
24 changes: 12 additions & 12 deletions integration/advent2012-day13.t
View file
Expand Up @@ -90,23 +90,23 @@ my @set-and-bag-ops =
# --------- ------- --------------- ----
['union', &infix:«∪», &infix:«(|)», [Set,Bag]],
['intersection', &infix:«∩», &infix:«(&)», [Set,Bag]],
['set difference', Mu, &infix:«(-)», Set],
['set symmetric difference', Mu, &infix:«(^)», Set],
['set difference', Mu, &infix:«(-)», [Set]],
['set symmetric difference', Mu, &infix:«(^)», [Set]],

['subset', &infix:«⊆», &infix:«(<=)», Bool],
['not a subset', &infix:«⊈», Mu, Bool],
['subset', &infix:«⊆», &infix:«(<=)», [Bool]],
['not a subset', &infix:«⊈», Mu, [Bool]],

['proper subset', &infix:«⊂», &infix:«(<)», Bool],
['not a proper subset', &infix:«⊄», Mu, Bool],
['proper subset', &infix:«⊂», &infix:«(<)», [Bool]],
['not a proper subset', &infix:«⊄», Mu, [Bool]],

['superset', &infix:«⊇», &infix:«(>=)», Bool],
['not a superset', &infix:«⊉», Mu, Bool],
['superset', &infix:«⊇», &infix:«(>=)», [Bool]],
['not a superset', &infix:«⊉», Mu, [Bool]],

['proper superset', &infix:«⊃», &infix:«(>)», Bool],
['not a proper superset', &infix:«⊅», Mu, Bool],
['proper superset', &infix:«⊃», &infix:«(>)», [Bool]],
['not a proper superset', &infix:«⊅», Mu, [Bool]],

['bag multiplication', &infix:«⊍», &infix:«(.)», Bag],
['bag addition', &infix:«⊎», &infix:«(+)», Bag],
['bag multiplication', &infix:«⊍», &infix:«(.)», [Bag]],
['bag addition', &infix:«⊎», &infix:«(+)», [Bag]],
;

for @set-and-bag-ops {
Expand Down

0 comments on commit b50b3f9

Please sign in to comment.