[Haskell-beginners] cabal sandbox add-source + cabal repl (for tracking Idris git version)

[Karl Voelker]

On Mon, Jul 14, 2014, at 02:33 AM, Andreas Reuleaux wrote:
> Is there a better way to verify though (apart from looking at
> these compilation messages, in the cabal repl maybe),
> that cabal is indeed using my other idr/dev sandbox
> (and not Idris from hackage) ?

cabal sandbox list-sources

-Karl