OSDN Git Service

Finally remove all mentions of the old polytypes module.
[joypy/Thun.git] / docs /
drwxr-xr-x   ..
-rw-r--r-- 282615 0._This_Implementation_of_Joy_in_Python.html
-rw-r--r-- 24199 0._This_Implementation_of_Joy_in_Python.ipynb
-rw-r--r-- 16775 0._This_Implementation_of_Joy_in_Python.md
-rw-r--r-- 17735 0._This_Implementation_of_Joy_in_Python.rst
-rw-r--r-- 260340 1._Basic_Use_of_Joy_in_a_Notebook.html
-rw-r--r-- 7985 1._Basic_Use_of_Joy_in_a_Notebook.ipynb
-rw-r--r-- 5237 1._Basic_Use_of_Joy_in_a_Notebook.md
-rw-r--r-- 5501 1._Basic_Use_of_Joy_in_a_Notebook.rst
-rw-r--r-- 336737 2._Library_Examples.html
-rw-r--r-- 36996 2._Library_Examples.ipynb
-rw-r--r-- 11205 2._Library_Examples.md
-rw-r--r-- 14194 2._Library_Examples.rst
-rw-r--r-- 296362 3._Developing_a_Program.html
-rw-r--r-- 35156 3._Developing_a_Program.ipynb
-rw-r--r-- 23264 3._Developing_a_Program.md
-rw-r--r-- 24472 3._Developing_a_Program.rst
-rw-r--r-- 265575 Advent_of_Code_2017_December_1st.html
-rw-r--r-- 9582 Advent_of_Code_2017_December_1st.ipynb
-rw-r--r-- 4240 Advent_of_Code_2017_December_1st.md
-rw-r--r-- 4826 Advent_of_Code_2017_December_1st.rst
-rw-r--r-- 269392 Advent_of_Code_2017_December_2nd.html
-rw-r--r-- 15053 Advent_of_Code_2017_December_2nd.ipynb
-rw-r--r-- 9074 Advent_of_Code_2017_December_2nd.md
-rw-r--r-- 9618 Advent_of_Code_2017_December_2nd.rst
-rw-r--r-- 308131 Advent_of_Code_2017_December_3rd.html
-rw-r--r-- 44640 Advent_of_Code_2017_December_3rd.ipynb
-rw-r--r-- 17461 Advent_of_Code_2017_December_3rd.md
-rw-r--r-- 19248 Advent_of_Code_2017_December_3rd.rst
drwxr-xr-x - Advent_of_Code_2017_December_3rd_files
-rw-r--r-- 253356 Advent_of_Code_2017_December_4th.html
-rw-r--r-- 2761 Advent_of_Code_2017_December_4th.ipynb
-rw-r--r-- 1062 Advent_of_Code_2017_December_4th.md
-rw-r--r-- 1218 Advent_of_Code_2017_December_4th.rst
-rw-r--r-- 265881 Advent_of_Code_2017_December_5th.html
-rw-r--r-- 11417 Advent_of_Code_2017_December_5th.ipynb
-rw-r--r-- 7287 Advent_of_Code_2017_December_5th.md
-rw-r--r-- 7874 Advent_of_Code_2017_December_5th.rst
-rw-r--r-- 268371 Advent_of_Code_2017_December_6th.html
-rw-r--r-- 9732 Advent_of_Code_2017_December_6th.ipynb
-rw-r--r-- 4529 Advent_of_Code_2017_December_6th.md
-rw-r--r-- 5366 Advent_of_Code_2017_December_6th.rst
-rw-r--r-- 321320 Compiling_Joy.html
-rw-r--r-- 28464 Compiling_Joy.ipynb
-rw-r--r-- 13450 Compiling_Joy.md
-rw-r--r-- 15425 Compiling_Joy.rst
-rw-r--r-- 627839 Correcet_Programming.html
-rw-r--r-- 186473 Correcet_Programming.ipynb
-rw-r--r-- 121493 Correcet_Programming.md
-rw-r--r-- 131423 Correcet_Programming.rst
-rw-r--r-- 323440 Derivatives_of_Regular_Expressions.html
-rw-r--r-- 46569 Derivatives_of_Regular_Expressions.ipynb
-rw-r--r-- 18738 Derivatives_of_Regular_Expressions.md
-rw-r--r-- 20828 Derivatives_of_Regular_Expressions.rst
-rw-r--r-- 21176 Document.md
-rw-r--r-- 290789 Generator_Programs.html
-rw-r--r-- 23242 Generator_Programs.ipynb
-rw-r--r-- 11580 Generator_Programs.md
-rw-r--r-- 12931 Generator_Programs.rst
-rw-r--r-- 481023 Hylo-,_Ana-,_Cata-,_and_Para-morphisms_-_Recursion_Combinators.html
-rw-r--r-- 224444 Hylo-,_Ana-,_Cata-,_and_Para-morphisms_-_Recursion_Combinators.ipynb
-rw-r--r-- 204145 Hylo-,_Ana-,_Cata-,_and_Para-morphisms_-_Recursion_Combinators.md
-rw-r--r-- 205986 Hylo-,_Ana-,_Cata-,_and_Para-morphisms_-_Recursion_Combinators.rst
-rw-r--r-- 198245 Library_Examples.pdf
-rw-r--r-- 795 Makefile
-rw-r--r-- 263166 Newton-Raphson.html
-rw-r--r-- 8843 Newton-Raphson.ipynb
-rw-r--r-- 4426 Newton-Raphson.md
-rw-r--r-- 4999 Newton-Raphson.rst
-rw-r--r-- 337786 Ordered_Binary_Trees.html
-rw-r--r-- 56688 Ordered_Binary_Trees.ipynb
-rw-r--r-- 34291 Ordered_Binary_Trees.md
-rw-r--r-- 37468 Ordered_Binary_Trees.rst
-rw-r--r-- 260429 Quadratic.html
-rw-r--r-- 8822 Quadratic.ipynb
-rw-r--r-- 6092 Quadratic.md
-rw-r--r-- 6427 Quadratic.rst
-rw-r--r-- 3077 README.md
-rw-r--r-- 286542 Recursion_Combinators.html
-rw-r--r-- 24287 Recursion_Combinators.ipynb
-rw-r--r-- 14928 Recursion_Combinators.md
-rw-r--r-- 16406 Recursion_Combinators.rst
-rw-r--r-- 260657 Replacing.html
-rw-r--r-- 9333 Replacing.ipynb
-rw-r--r-- 6982 Replacing.md
-rw-r--r-- 7227 Replacing.rst
-rw-r--r-- 262938 The_Four_Operations.html
-rw-r--r-- 12067 The_Four_Operations.ipynb
-rw-r--r-- 8470 The_Four_Operations.md
-rw-r--r-- 8778 The_Four_Operations.rst
-rw-r--r-- 370212 Trees.html
-rw-r--r-- 79762 Trees.ipynb
-rw-r--r-- 50774 Trees.md
-rw-r--r-- 54691 Trees.rst
-rw-r--r-- 285453 Treestep.html
-rw-r--r-- 20998 Treestep.ipynb
-rw-r--r-- 10890 Treestep.md
-rw-r--r-- 12315 Treestep.rst
-rw-r--r-- 262916 TypeChecking.html
-rw-r--r-- 5652 TypeChecking.ipynb
-rw-r--r-- 1952 TypeChecking.md
-rw-r--r-- 2465 TypeChecking.rst
-rw-r--r-- 507489 Types.html
-rw-r--r-- 101724 Types.ipynb
-rw-r--r-- 58552 Types.md
-rw-r--r-- 65636 Types.rst
drwxr-xr-x - VUI-docs
-rw-r--r-- 272075 Zipper.html
-rw-r--r-- 16345 Zipper.ipynb
-rw-r--r-- 10837 Zipper.md
-rw-r--r-- 11522 Zipper.rst
drwxr-xr-x - dep-graphs
-rw-r--r-- 267382 fun_with_scan.html
-rw-r--r-- 12158 fun_with_scan.ipynb
-rw-r--r-- 7071 fun_with_scan.md
-rw-r--r-- 7794 fun_with_scan.rst
drwxr-xr-x - jupyter_kernel
-rw-r--r-- 1383 notebook_preamble.py
-rw-r--r-- 570 pe1.py
-rw-r--r-- 2929810 pe1.txt
-rwxr-xr-x 2411 repl.py
drwxr-xr-x - sphinx_docs
-rw-r--r-- 360777 with_sympy.html
-rw-r--r-- 62347 with_sympy.ipynb
-rw-r--r-- 32206 with_sympy.md
-rw-r--r-- 34904 with_sympy.rst
drwxr-xr-x - with_sympy_files