teo/constructibility
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
A small Haskell library for computing the next term in the constructibility sequence
61 commits 1 branch 0 tags 257 KiB
Find a file
Teo Camarasu afa51a874b link to stackexchange in README
2022-05-07 15:20:21 +01:00
.golden add tests 2021-12-31 14:51:27 +00:00
app Add run scripting 2020-03-26 23:57:27 +00:00
bench add another benchmark 2021-12-24 12:38:20 +00:00
src use strict foldl 2022-01-24 18:03:07 +00:00
test make tests run in reasonable time 2022-05-07 15:08:56 +01:00
.gitignore add tests 2021-12-31 14:51:27 +00:00
ChangeLog.md Initial commit 2020-01-17 14:36:19 +00:00
constructibility.cabal add tests 2021-12-31 14:51:27 +00:00
LICENSE fix LICENSE 2021-12-23 10:42:30 +00:00
README.md link to stackexchange in README 2022-05-07 15:20:21 +01:00
runner.sh Add run scripting 2020-03-26 23:57:27 +00:00
Setup.hs Initial commit 2020-01-17 14:36:19 +00:00
stack.yaml migrate to codeberg 2022-05-07 14:58:59 +01:00
stack.yaml.lock update lockfile 2022-05-07 15:09:06 +01:00

README.md

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