Make sure that the shorten function terminates#18
Open
co-dan wants to merge 2 commits intothe-lambda-church:masterfrom
Open
Make sure that the `shorten` function terminates#18co-dan wants to merge 2 commits intothe-lambda-church:masterfrom
co-dan wants to merge 2 commits intothe-lambda-church:masterfrom
Commits
Commits on May 22, 2021
- committed
- committed
