Nuprl Definition : palindrome-test
palindrome-test(eq;L) == taba(tt;x,x',a.eval b = a ∧b (eq x x') in b;L)
Definitions occuring in Statement :
taba: taba(init;x,x',a.F[x; x'; a];l),
band: p ∧b q,
callbyvalue: callbyvalue,
btrue: tt,
apply: f a
Definitions occuring in definition :
taba: taba(init;x,x',a.F[x; x'; a];l),
btrue: tt,
callbyvalue: callbyvalue,
band: p ∧b q,
apply: f a
FDL editor aliases :
palindrome-test
Latex:
palindrome-test(eq;L) == taba(tt;x,x',a.eval b = a \mwedge{}\msubb{} (eq x x') in b;L)
Date html generated:
2016_05_15-PM-07_36_32
Last ObjectModification:
2015_09_23-AM-08_17_18
Theory : general
Home
Index