added support for Agda