Nuprl Definition : count-repeats

count-repeats(L,eq) ==
  accumulate (with value cvs and list item v):
   update-alist(eq;cvs;v;1;n.n + 1)
  over list:
    L
  with starting value:
   [])

Definitions occuring in Statement : update-alist: update-alist(eq;L;x;z;v.f[v]), list_accum: list_accum, nil: [], add: n + m, natural_number: $n
Definitions occuring in definition : list_accum: list_accum, update-alist: update-alist(eq;L;x;z;v.f[v]), add: n + m, natural_number: $n, nil: []
FDL editor aliases : ctrep

Latex:
count-repeats(L,eq) == accumulate (with value cvs and list item v): update-alist(eq;cvs;v;1;n.n + 1) over list: L with starting value: []) Date html generated: 2016_05_14-PM-03_22_53 Last ObjectModification: 2015_09_22-PM-05_59_30 Theory : decidable!equality Home Index