├── .github ├── ISSUE_TEMPLATE │ └── 想法與相關內容.md └── workflows │ └── publish.yml ├── .gitignore ├── LICENSE ├── Makefile ├── README.md ├── assets ├── android-chrome-192x192.png ├── android-chrome-512x512.png ├── apple-touch-icon.png ├── favicon-16x16.png ├── favicon-32x32.png ├── favicon.ico ├── fonts │ ├── KaTeX_AMS-Regular.ttf │ ├── KaTeX_AMS-Regular.woff │ ├── KaTeX_AMS-Regular.woff2 │ ├── KaTeX_Caligraphic-Bold.ttf │ ├── KaTeX_Caligraphic-Bold.woff │ ├── KaTeX_Caligraphic-Bold.woff2 │ ├── KaTeX_Caligraphic-Regular.ttf │ ├── KaTeX_Caligraphic-Regular.woff │ ├── KaTeX_Caligraphic-Regular.woff2 │ ├── KaTeX_Fraktur-Bold.ttf │ ├── KaTeX_Fraktur-Bold.woff │ ├── KaTeX_Fraktur-Bold.woff2 │ ├── KaTeX_Fraktur-Regular.ttf │ ├── KaTeX_Fraktur-Regular.woff │ ├── KaTeX_Fraktur-Regular.woff2 │ ├── KaTeX_Main-Bold.ttf │ ├── KaTeX_Main-Bold.woff │ ├── KaTeX_Main-Bold.woff2 │ ├── KaTeX_Main-BoldItalic.ttf │ ├── KaTeX_Main-BoldItalic.woff │ ├── KaTeX_Main-BoldItalic.woff2 │ ├── KaTeX_Main-Italic.ttf │ ├── KaTeX_Main-Italic.woff │ ├── KaTeX_Main-Italic.woff2 │ ├── KaTeX_Main-Regular.ttf │ ├── KaTeX_Main-Regular.woff │ ├── KaTeX_Main-Regular.woff2 │ ├── KaTeX_Math-BoldItalic.ttf │ ├── KaTeX_Math-BoldItalic.woff │ ├── KaTeX_Math-BoldItalic.woff2 │ ├── KaTeX_Math-Italic.ttf │ ├── KaTeX_Math-Italic.woff │ ├── KaTeX_Math-Italic.woff2 │ ├── KaTeX_SansSerif-Bold.ttf │ ├── KaTeX_SansSerif-Bold.woff │ ├── KaTeX_SansSerif-Bold.woff2 │ ├── KaTeX_SansSerif-Italic.ttf │ ├── KaTeX_SansSerif-Italic.woff │ ├── KaTeX_SansSerif-Italic.woff2 │ ├── KaTeX_SansSerif-Regular.ttf │ ├── KaTeX_SansSerif-Regular.woff │ ├── KaTeX_SansSerif-Regular.woff2 │ ├── KaTeX_Script-Regular.ttf │ ├── KaTeX_Script-Regular.woff │ ├── KaTeX_Script-Regular.woff2 │ ├── KaTeX_Size1-Regular.ttf │ ├── KaTeX_Size1-Regular.woff │ ├── KaTeX_Size1-Regular.woff2 │ ├── KaTeX_Size2-Regular.ttf │ ├── KaTeX_Size2-Regular.woff │ ├── KaTeX_Size2-Regular.woff2 │ ├── KaTeX_Size3-Regular.ttf │ ├── KaTeX_Size3-Regular.woff │ ├── KaTeX_Size3-Regular.woff2 │ ├── KaTeX_Size4-Regular.ttf │ ├── KaTeX_Size4-Regular.woff │ ├── KaTeX_Size4-Regular.woff2 │ ├── KaTeX_Typewriter-Regular.ttf │ ├── KaTeX_Typewriter-Regular.woff │ ├── KaTeX_Typewriter-Regular.woff2 │ ├── inria-sans-v14-latin_latin-ext-300.woff2 │ ├── inria-sans-v14-latin_latin-ext-300italic.woff2 │ ├── inria-sans-v14-latin_latin-ext-700.woff2 │ ├── inria-sans-v14-latin_latin-ext-700italic.woff2 │ ├── inria-sans-v14-latin_latin-ext-italic.woff2 │ └── inria-sans-v14-latin_latin-ext-regular.woff2 ├── forest.xsl ├── forester.sty ├── images │ ├── fp-000L │ │ └── injection.png │ ├── fp-000M │ │ └── surjection.png │ └── fp-000N │ │ └── bijection.png ├── katex.min.css ├── preamble.sty └── style.css ├── javascript └── forester.js ├── package.json └── trees ├── alg-0001.tree ├── alg-0002.tree ├── alg-0003.tree ├── alg-0004.tree ├── alg-0005.tree ├── base-macros.tree ├── cat-0001.tree ├── cat-0002.tree ├── cat-0003.tree ├── cat-0004.tree ├── cat-0005.tree ├── cat-0006.tree ├── cat-0007.tree ├── cat-0008.tree ├── cat-0009.tree ├── cat-000A.tree ├── cs-0001.tree ├── fp-0001.tree ├── fp-0002.tree ├── fp-0003.tree ├── fp-0004.tree ├── fp-0005.tree ├── fp-0006.tree ├── fp-0007.tree ├── fp-0008.tree ├── fp-0009.tree ├── fp-000A.tree ├── fp-000B.tree ├── fp-000C.tree ├── fp-000D.tree ├── fp-000E.tree ├── fp-000F.tree ├── fp-000G.tree ├── fp-000H.tree ├── fp-000I.tree ├── fp-000J.tree ├── fp-000K.tree ├── fp-000L.tree ├── fp-000M.tree ├── fp-000N.tree ├── fp-000O.tree ├── fp-000P.tree ├── people ├── dannypsnl.tree └── fizzyelt.tree ├── roadmap.tree └── set-0001.tree /.github/ISSUE_TEMPLATE/想法與相關內容.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/.github/ISSUE_TEMPLATE/想法與相關內容.md -------------------------------------------------------------------------------- /.github/workflows/publish.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/.github/workflows/publish.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/README.md -------------------------------------------------------------------------------- /assets/android-chrome-192x192.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/android-chrome-192x192.png -------------------------------------------------------------------------------- /assets/android-chrome-512x512.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/android-chrome-512x512.png -------------------------------------------------------------------------------- /assets/apple-touch-icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/apple-touch-icon.png -------------------------------------------------------------------------------- /assets/favicon-16x16.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/favicon-16x16.png -------------------------------------------------------------------------------- /assets/favicon-32x32.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/favicon-32x32.png -------------------------------------------------------------------------------- /assets/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/favicon.ico -------------------------------------------------------------------------------- /assets/fonts/KaTeX_AMS-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_AMS-Regular.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_AMS-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_AMS-Regular.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_AMS-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_AMS-Regular.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Caligraphic-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Caligraphic-Bold.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Caligraphic-Bold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Caligraphic-Bold.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Caligraphic-Bold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Caligraphic-Bold.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Caligraphic-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Caligraphic-Regular.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Caligraphic-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Caligraphic-Regular.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Caligraphic-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Caligraphic-Regular.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Fraktur-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Fraktur-Bold.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Fraktur-Bold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Fraktur-Bold.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Fraktur-Bold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Fraktur-Bold.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Fraktur-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Fraktur-Regular.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Fraktur-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Fraktur-Regular.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Fraktur-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Fraktur-Regular.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Main-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Main-Bold.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Main-Bold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Main-Bold.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Main-Bold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Main-Bold.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Main-BoldItalic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Main-BoldItalic.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Main-BoldItalic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Main-BoldItalic.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Main-BoldItalic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Main-BoldItalic.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Main-Italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Main-Italic.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Main-Italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Main-Italic.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Main-Italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Main-Italic.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Main-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Main-Regular.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Main-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Main-Regular.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Main-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Main-Regular.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Math-BoldItalic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Math-BoldItalic.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Math-BoldItalic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Math-BoldItalic.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Math-BoldItalic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Math-BoldItalic.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Math-Italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Math-Italic.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Math-Italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Math-Italic.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Math-Italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Math-Italic.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_SansSerif-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_SansSerif-Bold.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_SansSerif-Bold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_SansSerif-Bold.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_SansSerif-Bold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_SansSerif-Bold.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_SansSerif-Italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_SansSerif-Italic.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_SansSerif-Italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_SansSerif-Italic.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_SansSerif-Italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_SansSerif-Italic.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_SansSerif-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_SansSerif-Regular.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_SansSerif-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_SansSerif-Regular.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_SansSerif-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_SansSerif-Regular.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Script-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Script-Regular.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Script-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Script-Regular.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Script-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Script-Regular.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Size1-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Size1-Regular.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Size1-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Size1-Regular.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Size1-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Size1-Regular.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Size2-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Size2-Regular.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Size2-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Size2-Regular.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Size2-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Size2-Regular.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Size3-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Size3-Regular.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Size3-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Size3-Regular.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Size3-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Size3-Regular.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Size4-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Size4-Regular.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Size4-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Size4-Regular.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Size4-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Size4-Regular.woff2 -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Typewriter-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Typewriter-Regular.ttf -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Typewriter-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Typewriter-Regular.woff -------------------------------------------------------------------------------- /assets/fonts/KaTeX_Typewriter-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/KaTeX_Typewriter-Regular.woff2 -------------------------------------------------------------------------------- /assets/fonts/inria-sans-v14-latin_latin-ext-300.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/inria-sans-v14-latin_latin-ext-300.woff2 -------------------------------------------------------------------------------- /assets/fonts/inria-sans-v14-latin_latin-ext-300italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/inria-sans-v14-latin_latin-ext-300italic.woff2 -------------------------------------------------------------------------------- /assets/fonts/inria-sans-v14-latin_latin-ext-700.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/inria-sans-v14-latin_latin-ext-700.woff2 -------------------------------------------------------------------------------- /assets/fonts/inria-sans-v14-latin_latin-ext-700italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/inria-sans-v14-latin_latin-ext-700italic.woff2 -------------------------------------------------------------------------------- /assets/fonts/inria-sans-v14-latin_latin-ext-italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/inria-sans-v14-latin_latin-ext-italic.woff2 -------------------------------------------------------------------------------- /assets/fonts/inria-sans-v14-latin_latin-ext-regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/fonts/inria-sans-v14-latin_latin-ext-regular.woff2 -------------------------------------------------------------------------------- /assets/forest.xsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/forest.xsl -------------------------------------------------------------------------------- /assets/forester.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/forester.sty -------------------------------------------------------------------------------- /assets/images/fp-000L/injection.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/images/fp-000L/injection.png -------------------------------------------------------------------------------- /assets/images/fp-000M/surjection.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/images/fp-000M/surjection.png -------------------------------------------------------------------------------- /assets/images/fp-000N/bijection.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/images/fp-000N/bijection.png -------------------------------------------------------------------------------- /assets/katex.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/katex.min.css -------------------------------------------------------------------------------- /assets/preamble.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/preamble.sty -------------------------------------------------------------------------------- /assets/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/assets/style.css -------------------------------------------------------------------------------- /javascript/forester.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/javascript/forester.js -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/package.json -------------------------------------------------------------------------------- /trees/alg-0001.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/alg-0001.tree -------------------------------------------------------------------------------- /trees/alg-0002.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/alg-0002.tree -------------------------------------------------------------------------------- /trees/alg-0003.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/alg-0003.tree -------------------------------------------------------------------------------- /trees/alg-0004.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/alg-0004.tree -------------------------------------------------------------------------------- /trees/alg-0005.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/alg-0005.tree -------------------------------------------------------------------------------- /trees/base-macros.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/base-macros.tree -------------------------------------------------------------------------------- /trees/cat-0001.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/cat-0001.tree -------------------------------------------------------------------------------- /trees/cat-0002.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/cat-0002.tree -------------------------------------------------------------------------------- /trees/cat-0003.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/cat-0003.tree -------------------------------------------------------------------------------- /trees/cat-0004.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/cat-0004.tree -------------------------------------------------------------------------------- /trees/cat-0005.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/cat-0005.tree -------------------------------------------------------------------------------- /trees/cat-0006.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/cat-0006.tree -------------------------------------------------------------------------------- /trees/cat-0007.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/cat-0007.tree -------------------------------------------------------------------------------- /trees/cat-0008.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/cat-0008.tree -------------------------------------------------------------------------------- /trees/cat-0009.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/cat-0009.tree -------------------------------------------------------------------------------- /trees/cat-000A.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/cat-000A.tree -------------------------------------------------------------------------------- /trees/cs-0001.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/cs-0001.tree -------------------------------------------------------------------------------- /trees/fp-0001.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-0001.tree -------------------------------------------------------------------------------- /trees/fp-0002.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-0002.tree -------------------------------------------------------------------------------- /trees/fp-0003.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-0003.tree -------------------------------------------------------------------------------- /trees/fp-0004.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-0004.tree -------------------------------------------------------------------------------- /trees/fp-0005.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-0005.tree -------------------------------------------------------------------------------- /trees/fp-0006.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-0006.tree -------------------------------------------------------------------------------- /trees/fp-0007.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-0007.tree -------------------------------------------------------------------------------- /trees/fp-0008.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-0008.tree -------------------------------------------------------------------------------- /trees/fp-0009.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-0009.tree -------------------------------------------------------------------------------- /trees/fp-000A.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-000A.tree -------------------------------------------------------------------------------- /trees/fp-000B.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-000B.tree -------------------------------------------------------------------------------- /trees/fp-000C.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-000C.tree -------------------------------------------------------------------------------- /trees/fp-000D.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-000D.tree -------------------------------------------------------------------------------- /trees/fp-000E.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-000E.tree -------------------------------------------------------------------------------- /trees/fp-000F.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-000F.tree -------------------------------------------------------------------------------- /trees/fp-000G.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-000G.tree -------------------------------------------------------------------------------- /trees/fp-000H.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-000H.tree -------------------------------------------------------------------------------- /trees/fp-000I.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-000I.tree -------------------------------------------------------------------------------- /trees/fp-000J.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-000J.tree -------------------------------------------------------------------------------- /trees/fp-000K.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-000K.tree -------------------------------------------------------------------------------- /trees/fp-000L.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-000L.tree -------------------------------------------------------------------------------- /trees/fp-000M.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-000M.tree -------------------------------------------------------------------------------- /trees/fp-000N.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-000N.tree -------------------------------------------------------------------------------- /trees/fp-000O.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-000O.tree -------------------------------------------------------------------------------- /trees/fp-000P.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/fp-000P.tree -------------------------------------------------------------------------------- /trees/people/dannypsnl.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/people/dannypsnl.tree -------------------------------------------------------------------------------- /trees/people/fizzyelt.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/people/fizzyelt.tree -------------------------------------------------------------------------------- /trees/roadmap.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/roadmap.tree -------------------------------------------------------------------------------- /trees/set-0001.tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FizzyElt/functional-programming/HEAD/trees/set-0001.tree --------------------------------------------------------------------------------