-
Michael Hanus authored
Termination analysis integrated so that only terminating and productive functions are passed to CurryCheck for diff
381b596f
Termination analysis integrated so that only terminating and productive functions are passed to CurryCheck for diff