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

Elements of Fin when converted to Nat are smaller than the Bound. #3407

Merged
merged 2 commits into from Oct 31, 2016
Merged

Elements of Fin when converted to Nat are smaller than the Bound. #3407

merged 2 commits into from Oct 31, 2016

Commits on Sep 6, 2016

  1. Elements of Fin when converted to Nat are smaller than the Bound.

    @xekoukou
    xekoukou committed Sep 6, 2016
    Configuration menu
    Copy the full SHA
    aea41ec View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2016

  1. Added 'public export' modifier and documentation.

    @xekoukou
    xekoukou committed Sep 17, 2016
    Configuration menu
    Copy the full SHA
    c321deb View commit details
    Browse the repository at this point in the history