Update Agda.hs