Switch to `oeis2`
byorgey opened this issue · 1 comments
byorgey commented
The OEIS integration currently doesn't work --- the OEIS calls all just return Nothing. It seems that the oeis library hasn't been updated in a while, and there is a newer library oeis2 which is more up-to-date and also has additional features. We should try switching to oeis2. Currently, however, it does not build with aeson-2. See 23prime/oeis2#6 .
byorgey commented
Note, when fixing OEIS support, be sure to reinstate various things in failing
oeis.disco->libcatalan.disco->examplelib-oeis->testpretty-issue258->test