The name refers to several popular topics. Please specify which one you are looking for a guide on: 1. Star Citizen (Capital Ship)
: It is designed for Type-Driven Development , where types are used to specify the behavior of programs more precisely than in most other languages. The name refers to several popular topics
: You can install it via the Haskell platform ( cabal install idris ). The name refers to several popular topics