Idris is a functional programming language with Dependent Types. To install it on my system running DragonFlyBSD, the following steps are neccessary.
Install cabal
as root user:
pkg ins hs-cabal-install
Then as user, type:
mkdir idris-build
cd idris-build
cabal sandbox init
cabal update
cabal install idris
From the idris-build
folder, you can then start Idris by executing:
.cabal-sandbox/bin/idris
And voila:
____ __ _
/ _/___/ /____(_)____
/ // __ / ___/ / ___/ Version 1.3.0
_/ // /_/ / / / (__ ) http://www.idris-lang.org/
/___/\__,_/_/ /_/____/ Type :? for help
Idris is free software with ABSOLUTELY NO WARRANTY.
For details type :warranty.
Idris>