Recordings by wolfram77

@extra-set/take 0:15

by wolfram77

@extra-set/tail 0:16

by wolfram77

@extra-set/subsets 0:17

by wolfram77

@extra-set/subset 0:19

by wolfram77

@extra-set/some 0:17

by wolfram77

@extra-set/size 0:12

by wolfram77

@extra-set/shift 0:18

by wolfram77

@extra-set/remove 0:14

by wolfram77