Idris2Doc : Data.List.Palindrome

Data.List.Palindrome

dataPalindrome : Lista -> Type
  Do geese see God?

Totality: total
Constructors:
Empty : Palindrome []
Single : Palindrome [_]
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