├── .gitignore ├── README.md ├── archive ├── language.tex ├── macros-examples.tex ├── macros.tex └── what-is-coalgebraic.tex ├── dagstuhl-report ├── cc-by.pdf ├── cc.pdf ├── dagrep-logo-bw.pdf ├── dagrep-v2018.cls └── what-is-algebraic-dagstuhl-report.tex ├── what-is-algebraic.bib └── what-is-algebraic.tex /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/what-is-algebraic-about-algebraic-effects/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/what-is-algebraic-about-algebraic-effects/HEAD/README.md -------------------------------------------------------------------------------- /archive/language.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/what-is-algebraic-about-algebraic-effects/HEAD/archive/language.tex -------------------------------------------------------------------------------- /archive/macros-examples.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/what-is-algebraic-about-algebraic-effects/HEAD/archive/macros-examples.tex -------------------------------------------------------------------------------- /archive/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/what-is-algebraic-about-algebraic-effects/HEAD/archive/macros.tex -------------------------------------------------------------------------------- /archive/what-is-coalgebraic.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/what-is-algebraic-about-algebraic-effects/HEAD/archive/what-is-coalgebraic.tex -------------------------------------------------------------------------------- /dagstuhl-report/cc-by.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/what-is-algebraic-about-algebraic-effects/HEAD/dagstuhl-report/cc-by.pdf -------------------------------------------------------------------------------- /dagstuhl-report/cc.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/what-is-algebraic-about-algebraic-effects/HEAD/dagstuhl-report/cc.pdf -------------------------------------------------------------------------------- /dagstuhl-report/dagrep-logo-bw.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/what-is-algebraic-about-algebraic-effects/HEAD/dagstuhl-report/dagrep-logo-bw.pdf -------------------------------------------------------------------------------- /dagstuhl-report/dagrep-v2018.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/what-is-algebraic-about-algebraic-effects/HEAD/dagstuhl-report/dagrep-v2018.cls -------------------------------------------------------------------------------- /dagstuhl-report/what-is-algebraic-dagstuhl-report.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/what-is-algebraic-about-algebraic-effects/HEAD/dagstuhl-report/what-is-algebraic-dagstuhl-report.tex -------------------------------------------------------------------------------- /what-is-algebraic.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/what-is-algebraic-about-algebraic-effects/HEAD/what-is-algebraic.bib -------------------------------------------------------------------------------- /what-is-algebraic.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/what-is-algebraic-about-algebraic-effects/HEAD/what-is-algebraic.tex --------------------------------------------------------------------------------