add cabal file for edsl package