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
->lib
catalan.disco
->example
lib-oeis
->test
pretty-issue258
->test