Nuprl Definition : slow-int-palindrome-test
slow-int-palindrome-test(L) == list-deq(IntDeq) L rev(L)
Definitions occuring in Statement :
list-deq: list-deq(eq),
reverse: rev(as),
int-deq: IntDeq,
apply: f a
Definitions occuring in definition :
apply: f a,
list-deq: list-deq(eq),
int-deq: IntDeq,
reverse: rev(as)
FDL editor aliases :
slow-int-palindrome-test
Latex:
slow-int-palindrome-test(L) == list-deq(IntDeq) L rev(L)
Date html generated:
2016_05_15-PM-07_38_24
Last ObjectModification:
2015_09_23-AM-08_17_42
Theory : general
Home
Index