Switch to `oeis2` - Githubissues

disco-lang / disco

Functional teaching language for use in a discrete mathematics course

Other

161 stars 22 forks source link

Switch to `oeis2` #367

Open byorgey opened 1 year ago

byorgey commented 1 year ago

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 https://github.com/23prime/oeis2/pull/6 . (Edit to add: oeis2 has been updated now. Edit to add: ...but it doesn't work for me.)

byorgey commented 1 year ago

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