Search for crossword answers and clues
Actor Elba of "Luther"
Answer for the clue "Actor Elba of "Luther" ", 5 letters:
idris
Alternative clues for the word idris
Word definitions for idris in dictionaries
Wikipedia
Word definitions in Wikipedia
Idris is a general-purpose purely functional programming language with dependent types . The type system is similar to the one used by Agda . The language supports interactive theorem-proving comparable to Coq , including tactics, while the focus remains ...