-
Notifications
You must be signed in to change notification settings - Fork 233
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.
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
Update for new builtin Word64 type #182
Conversation
It doesn't minimal work? Then I don't think it's quite ready yet.. ;) |
I have no idea what you're talking about... ;) See UlfNorell/agda-prelude@e8e418c for how I implemented the arithmetic in agda-prelude. |
@UlfNorell, why in Agda stable branch, the std-lib directory isn't pointing to the master branch of the standard library, but the word branch? That is, the commit in the top is the commit in this PR:
|
Because this PR hasn't been merged yet. The master branch of std-lib doesn't work with Agda stable--that's exactly what this PR addresses. I don't want the Agda test suite to be red simply because the std-lib is lagging behind. |
This PR does minimal work to make the standard library work with
Word64
. It doesn't define word arithmetic.