Skip to content
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

Small typo fixes for hax book #777

Merged
merged 5 commits into from
Jul 17, 2024
Merged

Small typo fixes for hax book #777

merged 5 commits into from
Jul 17, 2024

Commits on Jul 16, 2024

  1. Small typo fixes.

    @maximebuyse
    maximebuyse committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    5bc1251 View commit details
    Browse the repository at this point in the history

  2. Use hax_lib_macros directly from hax_lib.

    @maximebuyse
    maximebuyse committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    21b0ebf View commit details
    Browse the repository at this point in the history

  3. Fix broken link and sentence.

    @maximebuyse
    maximebuyse committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    e2afa0b View commit details
    Browse the repository at this point in the history

  4. Add hax_lib namespace for refines.

    @maximebuyse
    maximebuyse committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    f4d3d61 View commit details
    Browse the repository at this point in the history

  5. Correct condition on absolute value of result.

    @maximebuyse
    maximebuyse committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    1c7733c View commit details
    Browse the repository at this point in the history