Agda.Termination.Termination

terminates

terminatesFilter

endos

idempotent

tests