[RC Diary] You guessed it (-28)
Yes, Idris.
I am going through the exercises, and by the way solutions are here, so the first one is to find if a string is palindrome. So I wrote
palindrome : String -> Bool
as the type signature, SPC-m-d
will add a hole
palindrome : String -> Bool
palindrome x = ?palindrome_rhs
Remember that booleans are True
and False
with capital cases.
All my efforts are here.