This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to "Thun" repository containing the "joypy" project. The branch, simpler has been updated via fe6567fd9e1c26309590c0dd26ecf22a6735b150 (commit) via 68838155dc19d62e5776a8088304a48901c4f872 (commit) via aad6777bb93dfa795e2885de0655afc774841bfa (commit) from 77b1638d64046ec960347b9054da3111f975e807 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit fe6567fd9e1c26309590c0dd26ecf22a6735b150 Author: Simon Forman <sform****@hushm*****> Date: Thu Sep 15 18:14:01 2022 -0700 Rework docs, simpler (no Sphinx.) commit 68838155dc19d62e5776a8088304a48901c4f872 Author: Simon Forman <sform****@hushm*****> Date: Thu Sep 15 18:11:16 2022 -0700 delete all the extra notebook conversions commit aad6777bb93dfa795e2885de0655afc774841bfa Author: Simon Forman <sform****@hushm*****> Date: Thu Sep 15 09:34:39 2022 -0700 Ignore the Nim joy binary. ----------------------------------------------------------------------- Summary of changes: .gitignore | 3 +- README => README.md | 102 +- docs/Makefile | 14 + docs/build_index.py | 23 + docs/html/css/fonts.css | 70 + docs/html/css/site.css | 33 + docs/html/index.html | 176 + .../0._This_Implementation_of_Joy_in_Python.html | 13939 ------------- .../0._This_Implementation_of_Joy_in_Python.md | 443 - .../0._This_Implementation_of_Joy_in_Python.rst | 567 - .../1._Basic_Use_of_Joy_in_a_Notebook.html | 13377 ------------ .../notebooks/1._Basic_Use_of_Joy_in_a_Notebook.md | 136 - .../1._Basic_Use_of_Joy_in_a_Notebook.rst | 153 - docs/notebooks/2._Library_Examples.html | 17844 ---------------- docs/notebooks/2._Library_Examples.md | 1467 -- docs/notebooks/2._Library_Examples.rst | 1830 -- docs/notebooks/3._Developing_a_Program.html | 14555 ------------- docs/notebooks/3._Developing_a_Program.md | 686 - docs/notebooks/3._Developing_a_Program.rst | 791 - .../Advent_of_Code_2017_December_1st.html | 13739 ------------ docs/notebooks/Advent_of_Code_2017_December_1st.md | 232 - .../notebooks/Advent_of_Code_2017_December_1st.rst | 288 - .../Advent_of_Code_2017_December_2nd.html | 13776 ------------ docs/notebooks/Advent_of_Code_2017_December_2nd.md | 360 - .../notebooks/Advent_of_Code_2017_December_2nd.rst | 431 - .../Advent_of_Code_2017_December_3rd.html | 14867 ------------- docs/notebooks/Advent_of_Code_2017_December_3rd.md | 846 - .../notebooks/Advent_of_Code_2017_December_3rd.rst | 976 - .../Advent_of_Code_2017_December_4th.html | 13243 ------------ docs/notebooks/Advent_of_Code_2017_December_4th.md | 69 - .../notebooks/Advent_of_Code_2017_December_4th.rst | 82 - .../Advent_of_Code_2017_December_5th.html | 13522 ------------ docs/notebooks/Advent_of_Code_2017_December_5th.md | 260 - .../notebooks/Advent_of_Code_2017_December_5th.rst | 339 - .../Advent_of_Code_2017_December_6th.html | 13714 ------------ docs/notebooks/Advent_of_Code_2017_December_6th.md | 266 - .../notebooks/Advent_of_Code_2017_December_6th.rst | 304 - docs/notebooks/Compiling_Joy.html | 14454 ------------- docs/notebooks/Compiling_Joy.md | 629 - docs/notebooks/Compiling_Joy.rst | 592 - docs/notebooks/Correcet_Programming.html | 20685 ------------------- docs/notebooks/Correcet_Programming.md | 4309 ---- docs/notebooks/Correcet_Programming.rst | 4613 ----- .../Derivatives_of_Regular_Expressions.html | 14422 ------------- .../Derivatives_of_Regular_Expressions.md | 817 - .../Derivatives_of_Regular_Expressions.rst | 946 - docs/notebooks/Generator_Programs.html | 14502 ------------- docs/notebooks/Generator_Programs.md | 506 - docs/notebooks/Generator_Programs.rst | 635 - ...and_Para-morphisms_-_Recursion_Combinators.html | 15675 -------------- ...,_and_Para-morphisms_-_Recursion_Combinators.md | 1907 -- ..._and_Para-morphisms_-_Recursion_Combinators.rst | 2106 -- docs/notebooks/Makefile | 13 +- docs/notebooks/Newton-Raphson.html | 13538 ------------ docs/notebooks/Newton-Raphson.md | 208 - docs/notebooks/Newton-Raphson.rst | 257 - docs/notebooks/Ordered_Binary_Trees.html | 15692 -------------- docs/notebooks/Ordered_Binary_Trees.md | 1210 -- docs/notebooks/Ordered_Binary_Trees.rst | 1639 -- docs/notebooks/Quadratic.html | 13353 ------------ docs/notebooks/Quadratic.md | 121 - docs/notebooks/Quadratic.rst | 158 - docs/notebooks/README.md | 161 - docs/notebooks/Recursion_Combinators.html | 14130 ------------- docs/notebooks/Recursion_Combinators.md | 523 - docs/notebooks/Recursion_Combinators.rst | 690 - docs/notebooks/Replacing.html | 13322 ------------ docs/notebooks/Replacing.md | 129 - docs/notebooks/Replacing.rst | 147 - docs/notebooks/Square_Spiral.html | 16157 --------------- docs/notebooks/Square_Spiral.md | 545 - docs/notebooks/Square_Spiral.rst | 669 - docs/notebooks/The_Four_Operations.html | 13386 ------------ docs/notebooks/The_Four_Operations.md | 229 - docs/notebooks/The_Four_Operations.rst | 336 - docs/notebooks/Trees.html | 16580 --------------- docs/notebooks/Trees.md | 1735 -- docs/notebooks/Trees.rst | 2221 -- docs/notebooks/Treestep.html | 14271 ------------- docs/notebooks/Treestep.md | 465 - docs/notebooks/Treestep.rst | 620 - docs/notebooks/TypeChecking.html | 13524 ------------ docs/notebooks/TypeChecking.md | 154 - docs/notebooks/TypeChecking.rst | 171 - docs/notebooks/Types.html | 18098 ---------------- docs/notebooks/Types.md | 2541 --- docs/notebooks/Types.rst | 2968 --- docs/notebooks/Zipper.html | 13782 ------------ docs/notebooks/Zipper.md | 281 - docs/notebooks/Zipper.rst | 352 - docs/notebooks/fun_with_scan.html | 13603 ------------ docs/notebooks/fun_with_scan.md | 234 - docs/notebooks/fun_with_scan.rst | 336 - docs/notebooks/with_sympy.html | 15363 -------------- docs/notebooks/with_sympy.md | 1285 -- docs/notebooks/with_sympy.rst | 1317 -- 96 files changed, 385 insertions(+), 476450 deletions(-) rename README => README.md (61%) create mode 100644 docs/Makefile create mode 100644 docs/build_index.py create mode 100644 docs/html/css/fonts.css create mode 100644 docs/html/css/site.css create mode 100644 docs/html/index.html delete mode 100644 docs/notebooks/0._This_Implementation_of_Joy_in_Python.html delete mode 100644 docs/notebooks/0._This_Implementation_of_Joy_in_Python.md delete mode 100644 docs/notebooks/0._This_Implementation_of_Joy_in_Python.rst delete mode 100644 docs/notebooks/1._Basic_Use_of_Joy_in_a_Notebook.html delete mode 100644 docs/notebooks/1._Basic_Use_of_Joy_in_a_Notebook.md delete mode 100644 docs/notebooks/1._Basic_Use_of_Joy_in_a_Notebook.rst delete mode 100644 docs/notebooks/2._Library_Examples.html delete mode 100644 docs/notebooks/2._Library_Examples.md delete mode 100644 docs/notebooks/2._Library_Examples.rst delete mode 100644 docs/notebooks/3._Developing_a_Program.html delete mode 100644 docs/notebooks/3._Developing_a_Program.md delete mode 100644 docs/notebooks/3._Developing_a_Program.rst delete mode 100644 docs/notebooks/Advent_of_Code_2017_December_1st.html delete mode 100644 docs/notebooks/Advent_of_Code_2017_December_1st.md delete mode 100644 docs/notebooks/Advent_of_Code_2017_December_1st.rst delete mode 100644 docs/notebooks/Advent_of_Code_2017_December_2nd.html delete mode 100644 docs/notebooks/Advent_of_Code_2017_December_2nd.md delete mode 100644 docs/notebooks/Advent_of_Code_2017_December_2nd.rst delete mode 100644 docs/notebooks/Advent_of_Code_2017_December_3rd.html delete mode 100644 docs/notebooks/Advent_of_Code_2017_December_3rd.md delete mode 100644 docs/notebooks/Advent_of_Code_2017_December_3rd.rst delete mode 100644 docs/notebooks/Advent_of_Code_2017_December_4th.html delete mode 100644 docs/notebooks/Advent_of_Code_2017_December_4th.md delete mode 100644 docs/notebooks/Advent_of_Code_2017_December_4th.rst delete mode 100644 docs/notebooks/Advent_of_Code_2017_December_5th.html delete mode 100644 docs/notebooks/Advent_of_Code_2017_December_5th.md delete mode 100644 docs/notebooks/Advent_of_Code_2017_December_5th.rst delete mode 100644 docs/notebooks/Advent_of_Code_2017_December_6th.html delete mode 100644 docs/notebooks/Advent_of_Code_2017_December_6th.md delete mode 100644 docs/notebooks/Advent_of_Code_2017_December_6th.rst delete mode 100644 docs/notebooks/Compiling_Joy.html delete mode 100644 docs/notebooks/Compiling_Joy.md delete mode 100644 docs/notebooks/Compiling_Joy.rst delete mode 100644 docs/notebooks/Correcet_Programming.html delete mode 100644 docs/notebooks/Correcet_Programming.md delete mode 100644 docs/notebooks/Correcet_Programming.rst delete mode 100644 docs/notebooks/Derivatives_of_Regular_Expressions.html delete mode 100644 docs/notebooks/Derivatives_of_Regular_Expressions.md delete mode 100644 docs/notebooks/Derivatives_of_Regular_Expressions.rst delete mode 100644 docs/notebooks/Generator_Programs.html delete mode 100644 docs/notebooks/Generator_Programs.md delete mode 100644 docs/notebooks/Generator_Programs.rst delete mode 100644 docs/notebooks/Hylo-,_Ana-,_Cata-,_and_Para-morphisms_-_Recursion_Combinators.html delete mode 100644 docs/notebooks/Hylo-,_Ana-,_Cata-,_and_Para-morphisms_-_Recursion_Combinators.md delete mode 100644 docs/notebooks/Hylo-,_Ana-,_Cata-,_and_Para-morphisms_-_Recursion_Combinators.rst delete mode 100644 docs/notebooks/Newton-Raphson.html delete mode 100644 docs/notebooks/Newton-Raphson.md delete mode 100644 docs/notebooks/Newton-Raphson.rst delete mode 100644 docs/notebooks/Ordered_Binary_Trees.html delete mode 100644 docs/notebooks/Ordered_Binary_Trees.md delete mode 100644 docs/notebooks/Ordered_Binary_Trees.rst delete mode 100644 docs/notebooks/Quadratic.html delete mode 100644 docs/notebooks/Quadratic.md delete mode 100644 docs/notebooks/Quadratic.rst delete mode 100644 docs/notebooks/README.md delete mode 100644 docs/notebooks/Recursion_Combinators.html delete mode 100644 docs/notebooks/Recursion_Combinators.md delete mode 100644 docs/notebooks/Recursion_Combinators.rst delete mode 100644 docs/notebooks/Replacing.html delete mode 100644 docs/notebooks/Replacing.md delete mode 100644 docs/notebooks/Replacing.rst delete mode 100644 docs/notebooks/Square_Spiral.html delete mode 100644 docs/notebooks/Square_Spiral.md delete mode 100644 docs/notebooks/Square_Spiral.rst delete mode 100644 docs/notebooks/The_Four_Operations.html delete mode 100644 docs/notebooks/The_Four_Operations.md delete mode 100644 docs/notebooks/The_Four_Operations.rst delete mode 100644 docs/notebooks/Trees.html delete mode 100644 docs/notebooks/Trees.md delete mode 100644 docs/notebooks/Trees.rst delete mode 100644 docs/notebooks/Treestep.html delete mode 100644 docs/notebooks/Treestep.md delete mode 100644 docs/notebooks/Treestep.rst delete mode 100644 docs/notebooks/TypeChecking.html delete mode 100644 docs/notebooks/TypeChecking.md delete mode 100644 docs/notebooks/TypeChecking.rst delete mode 100644 docs/notebooks/Types.html delete mode 100644 docs/notebooks/Types.md delete mode 100644 docs/notebooks/Types.rst delete mode 100644 docs/notebooks/Zipper.html delete mode 100644 docs/notebooks/Zipper.md delete mode 100644 docs/notebooks/Zipper.rst delete mode 100644 docs/notebooks/fun_with_scan.html delete mode 100644 docs/notebooks/fun_with_scan.md delete mode 100644 docs/notebooks/fun_with_scan.rst delete mode 100644 docs/notebooks/with_sympy.html delete mode 100644 docs/notebooks/with_sympy.md delete mode 100644 docs/notebooks/with_sympy.rst hooks/post-receive -- Thun (joypy)