  We present a spectroscopic survey for strong galaxy-galaxy lenses. Exploiting
optimal sight-lines to massive, bulge-dominated galaxies at redshifts $z \sim
0.4$ with wide-field, multifibre spectroscopy, we anticipate the detection of
10-20 lensed Lyman-$\alpha$ emitting galaxies at redshifts $z \simgreat 3$ from
a sample of 2000 deflectors. Initial spectroscopic observations are described
and the prospects for constraining the emission-line luminosity function of the
Lyman-$\alpha$ emitting population are outlined.
