Search for crossword answers and clues
British actor Elba
Answer for the clue "British actor Elba ", 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 ...