Explore relationships

Idris (programming language)

Idris is a purely-functionalprogramming language with dependent types, , optional lazy evaluation, and features such as a totality checker. Idris is designed to be a general-purpose programming language similar to Haskell, but may also be used as a proof assistant.

Use + to expand a branch. Click a topic name to open its summary.