Idris2Doc : Data.List.Palindrome

Data.List.Palindrome

Palindrome : Lista -> Type
Do geese see God?
Totality: total
Constructors:
Empty : PalindromeNil
Single : Palindrome [{_:1572}]
Multi : Palindromexs -> Palindrome (x::snocxsx)
palindromeReverse : (xs : Lista) -> Palindromexs -> reversexs = xs
A Palindrome reversed is itself.
Totality: total
reversePalindrome : (xs : Lista) -> reversexs = xs -> Palindromexs
Only Palindromes are equal to their own reverse.
Totality: total