the Idris executable not be found please ensure that you have added ~/.cabal/bin to your $PATH environment variable. Mac OS X users may find they need to add ~/Library/Haskell/bin instead, and Windows users called prog. • --check type check the file and its dependencies without starting the interactive environment. --package pkg add package as dependency, e.g. --package contrib to make use of the contrib package summary and command line options. ### 2.3 The Interactive Environment Entering idris at the shell prompt starts up the interactive environment. You should see something like the following: $ idris \

727 Index 731 Welcome to conda's documentation! Conda provides package, dependency, and environment management for any language. Here, you will find everything you need to get started using conda how the conda project is managed and how to contribute Development environment Follow this guide to get your own development environment set up ### 4.1 User guide #### 4.1.1 Getting started with conda conda Conda is a powerful command line tool for package and environment management that runs on Windows, macOS, and Linux. This guide to getting started with conda goes over the basics of starting up and