Agda.Termination.Termination

terminates

terminatesFilter

tests