Search for crossword answers and clues
Kate's "The Mountain Between Us" co-star
Answer for the clue "Kate's "The Mountain Between Us" co-star ", 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 ...