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.

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

Implement more examples #5

Open
1 of 4 tasks
igarnier opened this issue Jul 5, 2023 · 0 comments
Open
1 of 4 tasks

Implement more examples #5

igarnier opened this issue Jul 5, 2023 · 0 comments

Comments

@igarnier
Copy link
Owner

igarnier commented Jul 5, 2023

Hakaru10 has some interesting examples. The author exhibits some bugs other implementations, see the examples in https://okmij.org/ftp/kakuritu/Hakaru10/PPS2017.pdf
It would be nice to benchmark against Hakaru10 for correctness.

@igarnier igarnier changed the title Tests: implement Hakaru10 examples Implement more examples Aug 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant