Skip to content

Instantly share code, notes, and snippets.

What would you like to do?

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment