Idris -

The name refers to several popular topics. Please specify which one you are looking for a guide on: 1. Star Citizen (Capital Ship)

: You can install it via the Haskell platform ( cabal install idris ). The name refers to several popular topics

: It features a Size 10 railgun on the Idris-M variant and massive shields, requiring a coordinated fleet to take down. The name refers to several popular topics

If you are looking for a build guide for the hero Idris in the MOBA : The name refers to several popular topics

: The official Idris Documentation provides a comprehensive tutorial covering types, functions, and theorem proving. 3. Vainglory (Game Hero)

: It is designed for Type-Driven Development , where types are used to specify the behavior of programs more precisely than in most other languages.