bplist00X$versionT$topY$archiverX$objects _columnHeadersDictUpairs_learnVsReviewNumber]formatVersion_cumulativeStudyTime_visibleColumnIdentifiers "_NSKeyedArchiver# !"#*! 3459\hlmpst|}~!$%()148<CFGJKSVW[_fijmnvy}  $+./237;?FIJMNRVZadehimqu|  !"%&*.29<=@AEIMTWX[\`dhorsvw{ !%U$nullV$classZNS.objectsXdisabledWcolumnAWcolumnBWscoreAB$%&'X$classesZ$classname'()^NSMutableArrayWNSArrayXNSObject+,-0WNS.keys ./ 12 VAnswerXQuestion$%6778)_NSMutableDictionary\NSDictionary; <=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[&/9BKU^gpy€ʀҀڀ ]^_`abcdefg_performanceDictBAUitemBUitemAXuserDict_performanceDictABijk[stringValue_QWhat is a variable occurrence if it is not mentioned in an enclosing abstraction?$%noo)ZGeniusItemijrTfree+,vy wxz{WdueDate[scoreNumberWNS.time#AHh:$%)VNSDate+, +, $%)ZGeniusPair]^_`ab$ %"ij_MWhat is a variable occurrence if it is mentioned in an enclosing abstraction?ij!Ubound+, wx{##AFwA+, +, ]^_`ab-)'.+ij(oHWhat is a variable occurrence if it is the variable immediately after ?ij*Wbinding+,ǀ wx{,̀#AHp+,Ѐ +,Ԁ ]^_`abۀ72084ijހ1]A redex is a ij3_reducible expression+, wx56#ACݘ7+, +, ]^_`ab@<:A>ij;g"\ meansij=_defined equal to+,  wx {?#AFg*+, +, ]^_`ab IECJGij#D_(1 in Church numerals is (without lambda)ij'Feszsz+,+. wx/H63#AC͠y+,67 +,:; ]^_`ab>?@ABSNLTPijEM_0Are ordering and multiplicity important in sets?ijIORno+,MP wxQRQRU#AC>+,YZ +,]^ ]^_`ababcde\XV]ZijhWoIn the context of sets, % meansijlY_symmetric difference+,ps wxt{[x#AF0+,{| +, ]^_`abea_fcij`o3{ x : N | even x " n^2 } means to create a set fromijb_%the squares of positive even integers+, wxd6#ADڼ+, +, ]^_`abnjholijig" meansijkVsubset+, wxm6#ACx[+, +,Ā ]^_`abˀwsqxuij΀r_In sets x : r means that ijҀt^x is of type r+,ـ wx{vހ#AHn++, +, ]^_`ab|z~ij{_In typing, what does * mean?ij}Xcompound+, wx{#AFm6+, +, ]^_`ab   ij_Haskell's empty list isijR[]+, +, +,"# ]^_`ab&'()*ij-_7In Haskell, x:xs does what as regards x if xs is a listij1_inserts it at the head+,56 +,9: +,=> ]^_`abABCDEijH_7In Haskell, Names beginning with upper case letters areijLUtypes+,PQ +,TU +,XY ]^_`ab\]^_`ijc_An invariant is a property thatijg^is always true+,kl +,op +,st ]^_`abwxyz{ij~_KAn invariant must be satisfiable. This meas that there exists at least one ij_"state that satisfies the invariant+, +, +, ]^_`abij_!In set notation, if f is PT f is ij_a set of type T+, +, +, ]^_`abij_0In order to avoid Russell's Paradox, sets cannotij_contain themselves+, +, +,ŀ ]^_`ab̀ijπ_T+ is a list of type T that isijӀXnonempty+,؀ +,܀ +, ]^_`abȀŀÀɀij_T x T* does what?ij\concatenates+, +, +, ]^_`abЀ̀ˀрijn! indicates a ij _partial function+,  +, +, ]^_`ab؀ՀӀـij oA ! B indicates thatij$_-exactly one B is being associated with some A+,() +,,- +,01 ]^_`ab45678݀ۀij;_uA map is a function from one set to another that is finite. This means that we only ever associate values in B witha ij?_finite number of values from A+,CD +,GH +,KL ]^_`abOPQRSijV_[The partial nature of a map from A to B means that we do not guarantee to associate a valueijZ_in B with every value of A+,^_ +,bc +,fg ]^_`abjklmnijq_3If two maps are combined that are not disjoint, theiju_second map overrides the first+,yz +,}~ +, ]^_`abij_The domain of a map A -> B isij_all of the values of A+, +, +, ]^_`abij_The range of a map A -> B is ij_all the values of B+, +, +, ]^_`ab ij€oin the context of maps, % meansijƀ_*restriction of the domain to the given set+,ˀ +,π +,Ӏ ]^_`abڀ  ij݀ o6In the context of maps, % with a line through it meansij_removal from map domain+, +, +, ]^_`abijoIn the context of maps " means ijWjoining+, +, +, ]^_`ab   !ijo&In the context of map A -> B, means ij]A overrides B+, +, +,#$ "BH"'1:?Xlr06?FQS\^`bdmu} (5>@ !#%')2>@B  ')689:GIJKTYd} #%.;=>?LNOPikmoqsu~ "*79>@BGIKTV_lnop}        ) + , - : < = > W Y [ ] _ a c l n p         $ & ( S \ ^ ` k x z  ' 0 2 4 7 D F K M O T V X a c l n { } ~     ' 4 6 ; = ? D F H Q S \ i k l m z | } ~  " $ & N [ ] b d f k m o x z  $&/<>?@MOPQjlnprtv+-/1357@BDclnpy%'),9;<=JLMN[]^_xz|~ "#$=?ACEGIRTV*357FSUVWdfghuwxy+8:;<IKLMZ\]^wy{}!#%')+468ktvx )689:GIJKXZ[\uwy{}  !>GIK^kmno|~+8:;<IKLMZ\]^wy{}6CEFGTVWXeghi#0234ACDERTUVoqsuwy{   8:<>@BDMOQqz|~')+ANPQR_abcprst(5789FHIJWYZ[tvy|  *79:;HJKLY[\]vx{~   8:=@CFIRTW&