%DEPENDS%
agda

