-
Notifications
You must be signed in to change notification settings - Fork 1
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
Port more benchmarks from Racket #5
Comments
I started porting suffixtree, its taking longer than expected but this might work. Will try to fnish tonight, then try to port another |
Failure for now. The writing is a higher priority. |
FWIW, here is a
|
More data, here's a table of racket benchmarks from the GTP repo and whether they use "All" types:
Time-permitting it would be good to explore the "small" benchmarks that don't use All-types. (Comparing across languages is apples to oranges, so give these thoughts little/no weight: |
Alternatively ... put tag soundness in Typed Racket |
Try porting more benchmarks from Racket.
Two options for this:
The text was updated successfully, but these errors were encountered: