blog-post.md

[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.