├── .gitignore ├── README.md ├── doc ├── Makefile ├── doc.bib ├── doc.pdf ├── doc.tex ├── listproc.sty ├── macro.tex ├── ottalt.sty └── sections │ ├── Makefile │ ├── defer_type_error.tex │ ├── implementation.tex │ ├── introduction.tex │ ├── levity_poly.tex │ ├── systemfc.tex │ ├── systemfc_kind_equality.tex │ ├── systemfcpro.tex │ └── zero_cost_coercion.tex └── ott └── syntax.ott /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/GHC-Core-Literature-Review/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/GHC-Core-Literature-Review/HEAD/README.md -------------------------------------------------------------------------------- /doc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/GHC-Core-Literature-Review/HEAD/doc/Makefile -------------------------------------------------------------------------------- /doc/doc.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/GHC-Core-Literature-Review/HEAD/doc/doc.bib -------------------------------------------------------------------------------- /doc/doc.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/GHC-Core-Literature-Review/HEAD/doc/doc.pdf -------------------------------------------------------------------------------- /doc/doc.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/GHC-Core-Literature-Review/HEAD/doc/doc.tex -------------------------------------------------------------------------------- /doc/listproc.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/GHC-Core-Literature-Review/HEAD/doc/listproc.sty -------------------------------------------------------------------------------- /doc/macro.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/GHC-Core-Literature-Review/HEAD/doc/macro.tex -------------------------------------------------------------------------------- /doc/ottalt.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/GHC-Core-Literature-Review/HEAD/doc/ottalt.sty -------------------------------------------------------------------------------- /doc/sections/Makefile: -------------------------------------------------------------------------------- 1 | all: 2 | make -C .. 3 | -------------------------------------------------------------------------------- /doc/sections/defer_type_error.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/GHC-Core-Literature-Review/HEAD/doc/sections/defer_type_error.tex -------------------------------------------------------------------------------- /doc/sections/implementation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/GHC-Core-Literature-Review/HEAD/doc/sections/implementation.tex -------------------------------------------------------------------------------- /doc/sections/introduction.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/GHC-Core-Literature-Review/HEAD/doc/sections/introduction.tex -------------------------------------------------------------------------------- /doc/sections/levity_poly.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/GHC-Core-Literature-Review/HEAD/doc/sections/levity_poly.tex -------------------------------------------------------------------------------- /doc/sections/systemfc.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/GHC-Core-Literature-Review/HEAD/doc/sections/systemfc.tex -------------------------------------------------------------------------------- /doc/sections/systemfc_kind_equality.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/GHC-Core-Literature-Review/HEAD/doc/sections/systemfc_kind_equality.tex -------------------------------------------------------------------------------- /doc/sections/systemfcpro.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/GHC-Core-Literature-Review/HEAD/doc/sections/systemfcpro.tex -------------------------------------------------------------------------------- /doc/sections/zero_cost_coercion.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/GHC-Core-Literature-Review/HEAD/doc/sections/zero_cost_coercion.tex -------------------------------------------------------------------------------- /ott/syntax.ott: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xnning/GHC-Core-Literature-Review/HEAD/ott/syntax.ott --------------------------------------------------------------------------------