New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Solution to Exercise 4.33 #880

Closed

jonathantorres opened this issue Apr 1, 2023 · 0 comments · Fixed by #1037

Labels

Exercise solution

Contributor

jonathantorres commented Apr 1, 2023

function an_integer_between(low, high) {
    require(low <= high);
    return amb(low, an_integer_between(low+1, high));
}

martin-henz added a commit that referenced this issue


          fixes #880

a87eb58

martin-henz added the Exercise solution label

RichDom2185 linked a pull request

that will close this issue

fixes #880 #1037

Merged

RichDom2185 closed this as completed in #1037

RichDom2185 closed this as completed in

83df2fc

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment