Greg Bucholtz on the Haskell-Cafe mailing list expressed interest in dependently typed fp languages, seemingly aware only of Cayenne and Epigram. I posted a pointer to Caterina's Agda page, and Thomas Hallgren's Alfa page. Peter Hancock