added input file and cabal file