A small Haskell library for computing the next term in the constructibility sequence
- Haskell 99%
- Shell 1%
| .golden | add tests | |
| app | Add run scripting | |
| bench | add another benchmark | |
| src | use strict foldl | |
| test | make tests run in reasonable time | |
| .gitignore | add tests | |
| ChangeLog.md | Initial commit | |
| constructibility.cabal | add tests | |
| LICENSE | fix LICENSE | |
| README.md | link to stackexchange in README | |
| runner.sh | Add run scripting | |
| Setup.hs | Initial commit | |
| stack.yaml | migrate to codeberg | |
| stack.yaml.lock | update lockfile | |
Constructibility
See the associated post on the Mathematics stackexchange: https://math.stackexchange.com/questions/3377988/what-is-the-next-number-on-the-constructibility-sequence-and-what-is-the-asympt