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

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