Add minimal support for Agda