Idris-old icon indicating copy to clipboard operation
Idris-old copied to clipboard

A language with dependent types