Miguel Raz Guzmán Macedo
Miguel Raz Guzmán Macedo
@PaulSoderlind thanks a million, I just found this - you've saved me a lot of hassle.
Heads up to anyone fishing for a PR: I'm about to finish the first paper, would not advise redoing the tableaus fruitlessly as I did! :1st_place_medal:
Thank you for your input! Granted, a runtime `pochhammer` is definitely a bad idea - but is there a way it can make sense for generated functions? That way we...
The tests are failing / and passing due to a brittle judging function. One idea would be to judge loosely min, mean and median and if 2/3 pass then the...
Silly bors...
... this is the sort of Swedish efficiency that scares me for the world cup. I'll try to whip this into a PR by day's end. Thank you both for...
Local builds can use the `sudo apt install creduce` or equivalent. Any concrete plans to have this as a JLL soon?
Understandable. At some point it might be faster to just RIIR...
PHEW! All done! I will ping some spanish speaking friends to look over it.
I have to fix some errors on the main source files: There's some missing exports like `randstring -> Random.randstring` in `01_constructors` and `DataFrame(rand(3))` breaking `Tables.jl AbstractRow` interface.