My Code My piece of code, i.e.: equal_suffix: Eq a => List a -> List a -> List a equal_suffix u v with (snocList u) equal_suffix _ _ | Empty = []
I'm following the TDD book in Idris 2, and the online documentation gives the following advice: For the VList view in the exercise 4 after Chapter 10-2 import