programlibs/Sets/demos/clubs.xtl

Clubs: who is in which club, as sets of names. Run with "just demo Sets clubs".

source · imports se: libs/Sets/src/Sets.xtl; t: libs/Strings/src/Strings.xtl

chess : Box Char

value · line 6
chess ← "ana" "ben" "cy" "dee"
Used in: libs/Sets/demos/clubs.xtl:10, libs/Sets/demos/clubs.xtl:11, libs/Sets/demos/clubs.xtl:12, libs/Sets/demos/clubs.xtl:13, all

drama : Box Char

value · line 7
drama ← "ben" "eve" "dee" "fay"
Used in: libs/Sets/demos/clubs.xtl:10, libs/Sets/demos/clubs.xtl:11, libs/Sets/demos/clubs.xtl:12, all

choir : Box Char

value · line 8
choir ← "gus" "eve"
Used in: libs/Sets/demos/clubs.xtl:12, libs/Sets/demos/clubs.xtl:13, all

all : Box Char

value · line 16
all ← chess c̲at drama c̲at choir
Used in: libs/Sets/demos/clubs.xtl:17