Directory listing for lens-5 source tarball

lens-5/src/Data/HashSet/