Scrabble Score - Idris | SlaveCode