~daria/.cabal/bin/idris