Agda. Fable and Opus both know it quite well now. They need some guidance to create good-looking code, but man, they know how to grind!