├── .chktexrc ├── .gitignore ├── Makefile ├── README.md ├── combined └── main.tex ├── common └── header.tex ├── default.nix ├── grammar ├── expressions.tex ├── grammar.tex ├── types.tex └── values.tex ├── mathpartir.sty ├── references.bib ├── release.nix ├── semantics └── semantics.tex └── typing ├── lambdaCalculus.tex ├── recordTypingRules.tex ├── records.tex └── type-system.tex /.chktexrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thufschmitt/tix-papers/HEAD/.chktexrc -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thufschmitt/tix-papers/HEAD/.gitignore -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thufschmitt/tix-papers/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thufschmitt/tix-papers/HEAD/README.md -------------------------------------------------------------------------------- /combined/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thufschmitt/tix-papers/HEAD/combined/main.tex -------------------------------------------------------------------------------- /common/header.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thufschmitt/tix-papers/HEAD/common/header.tex -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thufschmitt/tix-papers/HEAD/default.nix -------------------------------------------------------------------------------- /grammar/expressions.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thufschmitt/tix-papers/HEAD/grammar/expressions.tex -------------------------------------------------------------------------------- /grammar/grammar.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thufschmitt/tix-papers/HEAD/grammar/grammar.tex -------------------------------------------------------------------------------- /grammar/types.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thufschmitt/tix-papers/HEAD/grammar/types.tex -------------------------------------------------------------------------------- /grammar/values.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thufschmitt/tix-papers/HEAD/grammar/values.tex -------------------------------------------------------------------------------- /mathpartir.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thufschmitt/tix-papers/HEAD/mathpartir.sty -------------------------------------------------------------------------------- /references.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thufschmitt/tix-papers/HEAD/references.bib -------------------------------------------------------------------------------- /release.nix: -------------------------------------------------------------------------------- 1 | { 2 | build = import ./default.nix; 3 | } 4 | -------------------------------------------------------------------------------- /semantics/semantics.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thufschmitt/tix-papers/HEAD/semantics/semantics.tex -------------------------------------------------------------------------------- /typing/lambdaCalculus.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thufschmitt/tix-papers/HEAD/typing/lambdaCalculus.tex -------------------------------------------------------------------------------- /typing/recordTypingRules.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thufschmitt/tix-papers/HEAD/typing/recordTypingRules.tex -------------------------------------------------------------------------------- /typing/records.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thufschmitt/tix-papers/HEAD/typing/records.tex -------------------------------------------------------------------------------- /typing/type-system.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thufschmitt/tix-papers/HEAD/typing/type-system.tex --------------------------------------------------------------------------------