├── .gitignore ├── Demo ├── DemoUtils.hs ├── EsslliMaybeDemo.hs ├── EsslliMaybeDemo.html ├── EsslliMaybeDemo.ipynb ├── EsslliMonadDemo.hs ├── EsslliMonadDemo.html ├── EsslliMonadDemo.ipynb └── EsslliMonadDemo.lhs ├── README.md ├── Readings ├── GSV-coreference-and-modality.pdf ├── barker-shan-continuations-book.pdf ├── bekki-asai-covert-movement.pdf ├── bekki-masuko.pdf ├── bekki.pdf ├── ben-avi-winter-p-98.pdf ├── kaplan-plexy.pdf ├── lfg11giorgoloasudeh1.pdf ├── shan-monads.pdf ├── wadler-1985.pdf ├── wadler-composable.pdf └── wadler-monads.pdf ├── SUMMARY.md ├── _book ├── Demo │ ├── .ipynb_checkpoints │ │ ├── EsslliMaybeDemo-checkpoint.ipynb │ │ ├── EsslliMonadDemo-checkpoint.ipynb │ │ └── Grammar-checkpoint.ipynb │ ├── DemoUtils.hi │ ├── DemoUtils.hs │ ├── DemoUtils.o │ ├── EsslliMaybeDemo.html │ ├── EsslliMaybeDemo.ipynb │ ├── EsslliMaybeDemo.lhs │ ├── EsslliMonadDemo.hs │ ├── EsslliMonadDemo.html │ ├── EsslliMonadDemo.ipynb │ └── EsslliMonadDemo.lhs ├── combined-effects │ ├── applicatives.html │ ├── dynamics.html │ ├── focus.html │ ├── index.html │ └── xforms.html ├── continuations │ ├── index.html │ ├── layers.html │ └── scope.html ├── gitbook │ ├── app.js │ ├── fonts │ │ ├── fontawesome │ │ │ ├── FontAwesome.otf │ │ │ ├── fontawesome-webfont.eot │ │ │ ├── fontawesome-webfont.svg │ │ │ ├── fontawesome-webfont.ttf │ │ │ └── fontawesome-webfont.woff │ │ ├── merriweather │ │ │ ├── 250.woff │ │ │ ├── 250i.woff │ │ │ ├── 400.woff │ │ │ ├── 400i.woff │ │ │ ├── 700.woff │ │ │ ├── 700i.woff │ │ │ ├── 900.woff │ │ │ └── 900i.woff │ │ └── opensans │ │ │ ├── 300.woff │ │ │ ├── 300i.woff │ │ │ ├── 400.woff │ │ │ ├── 400i.woff │ │ │ ├── 600.woff │ │ │ ├── 600i.woff │ │ │ ├── 700.woff │ │ │ └── 700i.woff │ ├── images │ │ ├── apple-touch-icon-precomposed-152.png │ │ └── favicon.ico │ ├── plugins │ │ ├── gitbook-plugin-expandable-chapters │ │ │ ├── expandable-chapters.css │ │ │ └── expandable-chapters.js │ │ └── gitbook-plugin-katex │ │ │ ├── fonts │ │ │ ├── KaTeX_AMS-Regular.eot │ │ │ ├── KaTeX_AMS-Regular.ttf │ │ │ ├── KaTeX_AMS-Regular.woff │ │ │ ├── KaTeX_AMS-Regular.woff2 │ │ │ ├── KaTeX_Caligraphic-Bold.eot │ │ │ ├── KaTeX_Caligraphic-Bold.ttf │ │ │ ├── KaTeX_Caligraphic-Bold.woff │ │ │ ├── KaTeX_Caligraphic-Bold.woff2 │ │ │ ├── KaTeX_Caligraphic-Regular.eot │ │ │ ├── KaTeX_Caligraphic-Regular.ttf │ │ │ ├── KaTeX_Caligraphic-Regular.woff │ │ │ ├── KaTeX_Caligraphic-Regular.woff2 │ │ │ ├── KaTeX_Fraktur-Bold.eot │ │ │ ├── KaTeX_Fraktur-Bold.ttf │ │ │ ├── KaTeX_Fraktur-Bold.woff │ │ │ ├── KaTeX_Fraktur-Bold.woff2 │ │ │ ├── KaTeX_Fraktur-Regular.eot │ │ │ ├── KaTeX_Fraktur-Regular.ttf │ │ │ ├── KaTeX_Fraktur-Regular.woff │ │ │ ├── KaTeX_Fraktur-Regular.woff2 │ │ │ ├── KaTeX_Main-Bold.eot │ │ │ ├── KaTeX_Main-Bold.ttf │ │ │ ├── KaTeX_Main-Bold.woff │ │ │ ├── KaTeX_Main-Bold.woff2 │ │ │ ├── KaTeX_Main-Italic.eot │ │ │ ├── KaTeX_Main-Italic.ttf │ │ │ ├── KaTeX_Main-Italic.woff │ │ │ ├── KaTeX_Main-Italic.woff2 │ │ │ ├── KaTeX_Main-Regular.eot │ │ │ ├── KaTeX_Main-Regular.ttf │ │ │ ├── KaTeX_Main-Regular.woff │ │ │ ├── KaTeX_Main-Regular.woff2 │ │ │ ├── KaTeX_Math-BoldItalic.eot │ │ │ ├── KaTeX_Math-BoldItalic.ttf │ │ │ ├── KaTeX_Math-BoldItalic.woff │ │ │ ├── KaTeX_Math-BoldItalic.woff2 │ │ │ ├── KaTeX_Math-Italic.eot │ │ │ ├── KaTeX_Math-Italic.ttf │ │ │ ├── KaTeX_Math-Italic.woff │ │ │ ├── KaTeX_Math-Italic.woff2 │ │ │ ├── KaTeX_Math-Regular.eot │ │ │ ├── KaTeX_Math-Regular.ttf │ │ │ ├── KaTeX_Math-Regular.woff │ │ │ ├── KaTeX_Math-Regular.woff2 │ │ │ ├── KaTeX_SansSerif-Bold.eot │ │ │ ├── KaTeX_SansSerif-Bold.ttf │ │ │ ├── KaTeX_SansSerif-Bold.woff │ │ │ ├── KaTeX_SansSerif-Bold.woff2 │ │ │ ├── KaTeX_SansSerif-Italic.eot │ │ │ ├── KaTeX_SansSerif-Italic.ttf │ │ │ ├── KaTeX_SansSerif-Italic.woff │ │ │ ├── KaTeX_SansSerif-Italic.woff2 │ │ │ ├── KaTeX_SansSerif-Regular.eot │ │ │ ├── KaTeX_SansSerif-Regular.ttf │ │ │ ├── KaTeX_SansSerif-Regular.woff │ │ │ ├── KaTeX_SansSerif-Regular.woff2 │ │ │ ├── KaTeX_Script-Regular.eot │ │ │ ├── KaTeX_Script-Regular.ttf │ │ │ ├── KaTeX_Script-Regular.woff │ │ │ ├── KaTeX_Script-Regular.woff2 │ │ │ ├── KaTeX_Size1-Regular.eot │ │ │ ├── KaTeX_Size1-Regular.ttf │ │ │ ├── KaTeX_Size1-Regular.woff │ │ │ ├── KaTeX_Size1-Regular.woff2 │ │ │ ├── KaTeX_Size2-Regular.eot │ │ │ ├── KaTeX_Size2-Regular.ttf │ │ │ ├── KaTeX_Size2-Regular.woff │ │ │ ├── KaTeX_Size2-Regular.woff2 │ │ │ ├── KaTeX_Size3-Regular.eot │ │ │ ├── KaTeX_Size3-Regular.ttf │ │ │ ├── KaTeX_Size3-Regular.woff │ │ │ ├── KaTeX_Size3-Regular.woff2 │ │ │ ├── KaTeX_Size4-Regular.eot │ │ │ ├── KaTeX_Size4-Regular.ttf │ │ │ ├── KaTeX_Size4-Regular.woff │ │ │ ├── KaTeX_Size4-Regular.woff2 │ │ │ ├── KaTeX_Typewriter-Regular.eot │ │ │ ├── KaTeX_Typewriter-Regular.ttf │ │ │ ├── KaTeX_Typewriter-Regular.woff │ │ │ └── KaTeX_Typewriter-Regular.woff2 │ │ │ └── katex.min.css │ ├── print.css │ └── style.css ├── gsv │ ├── gsv-monad.html │ └── index.html ├── index.html ├── intro │ ├── index.html │ └── types.html ├── monad-examps │ ├── haskell.md │ ├── index.html │ ├── maybe.html │ ├── reader.html │ ├── set.md │ ├── state.html │ └── writer.html └── search_index.json ├── book.json ├── combined-effects ├── README.md ├── applicatives.md ├── dynamics.md ├── focus.md └── xforms.md ├── continuations ├── README.md ├── layers.md └── scope.md ├── gsv ├── README.md └── gsv-monad.md ├── intro ├── README.md └── types.md └── monad-examps ├── #trash.txt# ├── .#trash.txt ├── README.md ├── day2-cb.md ├── haskell.md ├── maybe.md ├── reader.md ├── set.md ├── state.md └── writer.md /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/.gitignore -------------------------------------------------------------------------------- /Demo/DemoUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Demo/DemoUtils.hs -------------------------------------------------------------------------------- /Demo/EsslliMaybeDemo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Demo/EsslliMaybeDemo.hs -------------------------------------------------------------------------------- /Demo/EsslliMaybeDemo.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Demo/EsslliMaybeDemo.html -------------------------------------------------------------------------------- /Demo/EsslliMaybeDemo.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Demo/EsslliMaybeDemo.ipynb -------------------------------------------------------------------------------- /Demo/EsslliMonadDemo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Demo/EsslliMonadDemo.hs -------------------------------------------------------------------------------- /Demo/EsslliMonadDemo.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Demo/EsslliMonadDemo.html -------------------------------------------------------------------------------- /Demo/EsslliMonadDemo.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Demo/EsslliMonadDemo.ipynb -------------------------------------------------------------------------------- /Demo/EsslliMonadDemo.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Demo/EsslliMonadDemo.lhs -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/README.md -------------------------------------------------------------------------------- /Readings/GSV-coreference-and-modality.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Readings/GSV-coreference-and-modality.pdf -------------------------------------------------------------------------------- /Readings/barker-shan-continuations-book.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Readings/barker-shan-continuations-book.pdf -------------------------------------------------------------------------------- /Readings/bekki-asai-covert-movement.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Readings/bekki-asai-covert-movement.pdf -------------------------------------------------------------------------------- /Readings/bekki-masuko.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Readings/bekki-masuko.pdf -------------------------------------------------------------------------------- /Readings/bekki.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Readings/bekki.pdf -------------------------------------------------------------------------------- /Readings/ben-avi-winter-p-98.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Readings/ben-avi-winter-p-98.pdf -------------------------------------------------------------------------------- /Readings/kaplan-plexy.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Readings/kaplan-plexy.pdf -------------------------------------------------------------------------------- /Readings/lfg11giorgoloasudeh1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Readings/lfg11giorgoloasudeh1.pdf -------------------------------------------------------------------------------- /Readings/shan-monads.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Readings/shan-monads.pdf -------------------------------------------------------------------------------- /Readings/wadler-1985.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Readings/wadler-1985.pdf -------------------------------------------------------------------------------- /Readings/wadler-composable.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Readings/wadler-composable.pdf -------------------------------------------------------------------------------- /Readings/wadler-monads.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/Readings/wadler-monads.pdf -------------------------------------------------------------------------------- /SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/SUMMARY.md -------------------------------------------------------------------------------- /_book/Demo/.ipynb_checkpoints/EsslliMaybeDemo-checkpoint.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/Demo/.ipynb_checkpoints/EsslliMaybeDemo-checkpoint.ipynb -------------------------------------------------------------------------------- /_book/Demo/.ipynb_checkpoints/EsslliMonadDemo-checkpoint.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/Demo/.ipynb_checkpoints/EsslliMonadDemo-checkpoint.ipynb -------------------------------------------------------------------------------- /_book/Demo/.ipynb_checkpoints/Grammar-checkpoint.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/Demo/.ipynb_checkpoints/Grammar-checkpoint.ipynb -------------------------------------------------------------------------------- /_book/Demo/DemoUtils.hi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/Demo/DemoUtils.hi -------------------------------------------------------------------------------- /_book/Demo/DemoUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/Demo/DemoUtils.hs -------------------------------------------------------------------------------- /_book/Demo/DemoUtils.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/Demo/DemoUtils.o -------------------------------------------------------------------------------- /_book/Demo/EsslliMaybeDemo.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/Demo/EsslliMaybeDemo.html -------------------------------------------------------------------------------- /_book/Demo/EsslliMaybeDemo.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/Demo/EsslliMaybeDemo.ipynb -------------------------------------------------------------------------------- /_book/Demo/EsslliMaybeDemo.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/Demo/EsslliMaybeDemo.lhs -------------------------------------------------------------------------------- /_book/Demo/EsslliMonadDemo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/Demo/EsslliMonadDemo.hs -------------------------------------------------------------------------------- /_book/Demo/EsslliMonadDemo.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/Demo/EsslliMonadDemo.html -------------------------------------------------------------------------------- /_book/Demo/EsslliMonadDemo.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/Demo/EsslliMonadDemo.ipynb -------------------------------------------------------------------------------- /_book/Demo/EsslliMonadDemo.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/Demo/EsslliMonadDemo.lhs -------------------------------------------------------------------------------- /_book/combined-effects/applicatives.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/combined-effects/applicatives.html -------------------------------------------------------------------------------- /_book/combined-effects/dynamics.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/combined-effects/dynamics.html -------------------------------------------------------------------------------- /_book/combined-effects/focus.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/combined-effects/focus.html -------------------------------------------------------------------------------- /_book/combined-effects/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/combined-effects/index.html -------------------------------------------------------------------------------- /_book/combined-effects/xforms.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/combined-effects/xforms.html -------------------------------------------------------------------------------- /_book/continuations/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/continuations/index.html -------------------------------------------------------------------------------- /_book/continuations/layers.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/continuations/layers.html -------------------------------------------------------------------------------- /_book/continuations/scope.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/continuations/scope.html -------------------------------------------------------------------------------- /_book/gitbook/app.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/app.js -------------------------------------------------------------------------------- /_book/gitbook/fonts/fontawesome/FontAwesome.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/fontawesome/FontAwesome.otf -------------------------------------------------------------------------------- /_book/gitbook/fonts/fontawesome/fontawesome-webfont.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/fontawesome/fontawesome-webfont.eot -------------------------------------------------------------------------------- /_book/gitbook/fonts/fontawesome/fontawesome-webfont.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/fontawesome/fontawesome-webfont.svg -------------------------------------------------------------------------------- /_book/gitbook/fonts/fontawesome/fontawesome-webfont.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/fontawesome/fontawesome-webfont.ttf -------------------------------------------------------------------------------- /_book/gitbook/fonts/fontawesome/fontawesome-webfont.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/fontawesome/fontawesome-webfont.woff -------------------------------------------------------------------------------- /_book/gitbook/fonts/merriweather/250.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/merriweather/250.woff -------------------------------------------------------------------------------- /_book/gitbook/fonts/merriweather/250i.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/merriweather/250i.woff -------------------------------------------------------------------------------- /_book/gitbook/fonts/merriweather/400.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/merriweather/400.woff -------------------------------------------------------------------------------- /_book/gitbook/fonts/merriweather/400i.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/merriweather/400i.woff -------------------------------------------------------------------------------- /_book/gitbook/fonts/merriweather/700.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/merriweather/700.woff -------------------------------------------------------------------------------- /_book/gitbook/fonts/merriweather/700i.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/merriweather/700i.woff -------------------------------------------------------------------------------- /_book/gitbook/fonts/merriweather/900.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/merriweather/900.woff -------------------------------------------------------------------------------- /_book/gitbook/fonts/merriweather/900i.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/merriweather/900i.woff -------------------------------------------------------------------------------- /_book/gitbook/fonts/opensans/300.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/opensans/300.woff -------------------------------------------------------------------------------- /_book/gitbook/fonts/opensans/300i.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/opensans/300i.woff -------------------------------------------------------------------------------- /_book/gitbook/fonts/opensans/400.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/opensans/400.woff -------------------------------------------------------------------------------- /_book/gitbook/fonts/opensans/400i.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/opensans/400i.woff -------------------------------------------------------------------------------- /_book/gitbook/fonts/opensans/600.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/opensans/600.woff -------------------------------------------------------------------------------- /_book/gitbook/fonts/opensans/600i.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/opensans/600i.woff -------------------------------------------------------------------------------- /_book/gitbook/fonts/opensans/700.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/opensans/700.woff -------------------------------------------------------------------------------- /_book/gitbook/fonts/opensans/700i.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/fonts/opensans/700i.woff -------------------------------------------------------------------------------- /_book/gitbook/images/apple-touch-icon-precomposed-152.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/images/apple-touch-icon-precomposed-152.png -------------------------------------------------------------------------------- /_book/gitbook/images/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/images/favicon.ico -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-expandable-chapters/expandable-chapters.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-expandable-chapters/expandable-chapters.css -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-expandable-chapters/expandable-chapters.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-expandable-chapters/expandable-chapters.js -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_AMS-Regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_AMS-Regular.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_AMS-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_AMS-Regular.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_AMS-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_AMS-Regular.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_AMS-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_AMS-Regular.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Caligraphic-Bold.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Caligraphic-Bold.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Caligraphic-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Caligraphic-Bold.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Caligraphic-Bold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Caligraphic-Bold.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Caligraphic-Bold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Caligraphic-Bold.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Caligraphic-Regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Caligraphic-Regular.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Caligraphic-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Caligraphic-Regular.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Caligraphic-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Caligraphic-Regular.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Caligraphic-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Caligraphic-Regular.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Fraktur-Bold.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Fraktur-Bold.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Fraktur-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Fraktur-Bold.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Fraktur-Bold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Fraktur-Bold.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Fraktur-Bold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Fraktur-Bold.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Fraktur-Regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Fraktur-Regular.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Fraktur-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Fraktur-Regular.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Fraktur-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Fraktur-Regular.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Fraktur-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Fraktur-Regular.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Bold.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Bold.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Bold.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Bold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Bold.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Bold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Bold.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Italic.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Italic.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Italic.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Italic.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Regular.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Regular.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Regular.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Main-Regular.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-BoldItalic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-BoldItalic.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-BoldItalic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-BoldItalic.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-BoldItalic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-BoldItalic.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-BoldItalic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-BoldItalic.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-Italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-Italic.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-Italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-Italic.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-Italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-Italic.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-Italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-Italic.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-Regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-Regular.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-Regular.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-Regular.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Math-Regular.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Bold.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Bold.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Bold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Bold.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Bold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Bold.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Bold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Bold.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Italic.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Italic.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Italic.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Italic.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Regular.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Regular.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Regular.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_SansSerif-Regular.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Script-Regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Script-Regular.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Script-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Script-Regular.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Script-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Script-Regular.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Script-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Script-Regular.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size1-Regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size1-Regular.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size1-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size1-Regular.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size1-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size1-Regular.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size1-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size1-Regular.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size2-Regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size2-Regular.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size2-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size2-Regular.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size2-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size2-Regular.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size2-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size2-Regular.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size3-Regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size3-Regular.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size3-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size3-Regular.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size3-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size3-Regular.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size3-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size3-Regular.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size4-Regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size4-Regular.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size4-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size4-Regular.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size4-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size4-Regular.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size4-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Size4-Regular.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Typewriter-Regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Typewriter-Regular.eot -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Typewriter-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Typewriter-Regular.ttf -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Typewriter-Regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Typewriter-Regular.woff -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Typewriter-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/fonts/KaTeX_Typewriter-Regular.woff2 -------------------------------------------------------------------------------- /_book/gitbook/plugins/gitbook-plugin-katex/katex.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/plugins/gitbook-plugin-katex/katex.min.css -------------------------------------------------------------------------------- /_book/gitbook/print.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/print.css -------------------------------------------------------------------------------- /_book/gitbook/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gitbook/style.css -------------------------------------------------------------------------------- /_book/gsv/gsv-monad.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gsv/gsv-monad.html -------------------------------------------------------------------------------- /_book/gsv/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/gsv/index.html -------------------------------------------------------------------------------- /_book/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/index.html -------------------------------------------------------------------------------- /_book/intro/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/intro/index.html -------------------------------------------------------------------------------- /_book/intro/types.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/intro/types.html -------------------------------------------------------------------------------- /_book/monad-examps/haskell.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/monad-examps/haskell.md -------------------------------------------------------------------------------- /_book/monad-examps/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/monad-examps/index.html -------------------------------------------------------------------------------- /_book/monad-examps/maybe.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/monad-examps/maybe.html -------------------------------------------------------------------------------- /_book/monad-examps/reader.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/monad-examps/reader.html -------------------------------------------------------------------------------- /_book/monad-examps/set.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/monad-examps/set.md -------------------------------------------------------------------------------- /_book/monad-examps/state.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/monad-examps/state.html -------------------------------------------------------------------------------- /_book/monad-examps/writer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/monad-examps/writer.html -------------------------------------------------------------------------------- /_book/search_index.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/_book/search_index.json -------------------------------------------------------------------------------- /book.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/book.json -------------------------------------------------------------------------------- /combined-effects/README.md: -------------------------------------------------------------------------------- 1 | # State and Alternatives: Dynamic Semantics 2 | 3 | * Coming soon 4 | -------------------------------------------------------------------------------- /combined-effects/applicatives.md: -------------------------------------------------------------------------------- 1 | # Applicatives 2 | 3 | * Coming soon 4 | -------------------------------------------------------------------------------- /combined-effects/dynamics.md: -------------------------------------------------------------------------------- 1 | # Alternatives + State: Dynamic Semantics 2 | 3 | * Coming soon 4 | -------------------------------------------------------------------------------- /combined-effects/focus.md: -------------------------------------------------------------------------------- 1 | # Focus 2 | 3 | * Coming soon 4 | -------------------------------------------------------------------------------- /combined-effects/xforms.md: -------------------------------------------------------------------------------- 1 | # Transformers 2 | 3 | * Coming soon 4 | -------------------------------------------------------------------------------- /continuations/README.md: -------------------------------------------------------------------------------- 1 | # Continuations 2 | 3 | * Coming soon 4 | -------------------------------------------------------------------------------- /continuations/layers.md: -------------------------------------------------------------------------------- 1 | # Continuations and Monads 2 | 3 | * Coming soon 4 | -------------------------------------------------------------------------------- /continuations/scope.md: -------------------------------------------------------------------------------- 1 | # Continuations for Scope 2 | 3 | * Coming soon 4 | -------------------------------------------------------------------------------- /gsv/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/gsv/README.md -------------------------------------------------------------------------------- /gsv/gsv-monad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/gsv/gsv-monad.md -------------------------------------------------------------------------------- /intro/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/intro/README.md -------------------------------------------------------------------------------- /intro/types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/intro/types.md -------------------------------------------------------------------------------- /monad-examps/#trash.txt#: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/monad-examps/#trash.txt# -------------------------------------------------------------------------------- /monad-examps/.#trash.txt: -------------------------------------------------------------------------------- 1 | barker@localhost.3694:1437935938 -------------------------------------------------------------------------------- /monad-examps/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/monad-examps/README.md -------------------------------------------------------------------------------- /monad-examps/day2-cb.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/monad-examps/day2-cb.md -------------------------------------------------------------------------------- /monad-examps/haskell.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/monad-examps/haskell.md -------------------------------------------------------------------------------- /monad-examps/maybe.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/monad-examps/maybe.md -------------------------------------------------------------------------------- /monad-examps/reader.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/monad-examps/reader.md -------------------------------------------------------------------------------- /monad-examps/set.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/monad-examps/set.md -------------------------------------------------------------------------------- /monad-examps/state.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/monad-examps/state.md -------------------------------------------------------------------------------- /monad-examps/writer.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dylnb/esslli2015-monads/HEAD/monad-examps/writer.md --------------------------------------------------------------------------------