"Prometheus" actor Elba

• Elba of "Molly's Game"
• Elba on "The Wire"
• Elba of "Thor"
• Elba of "Cats"
• Actor Elba of "Luther"
• "The Wire" actor ___ Elba
• Elba who played Stringer Bell on "The Wire"

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