Nuprl Definition : mk-set
mk-set(Item;set;member;empty;isEmpty;singleton;add;union;remove) ==
λx.x["set" := set]["member" := member]["empty" := empty]["isEmpty" := isEmpty]["singleton" := singleton]["add" := add]
["union" := union]["remove" := remove]
Definitions occuring in Statement :
lambda: λx.A[x],
token: "$token",
record-update: r[x := v]
FDL editor aliases :
mk-set
mk-set(Item;set;member;empty;isEmpty;singleton;add;union;remove) ==
\mlambda{}x.x["set" := set]["member" := member]["empty" := empty]["isEmpty" := isEmpty]
["singleton" := singleton]["add" := add]["union" := union]["remove" := remove]
Date html generated:
2015_07_17-AM-08_21_04
Last ObjectModification:
2013_03_18-PM-10_40_46
Home
Index