Versions

3 versions

Choose the version you want to view.
Update to PAKCS 3.*

Tags

3 tags

Click on a tag to show all related programs.
functionalpatterns non-termination infinitelists

Comments

0 comments »

Click on the badge to open the comment window for viewing and writing comments.

No comments yet.

LengthUpToRepeat

implemented in Curry

Created by sad on January 25, 2018 (last modified on April 18, 2023)
0 users favorited this

Description: A function definition that is suppose to terminate on infinite lists.