├── .github └── workflows │ └── julia-standalone-publish.yml ├── .gitignore ├── LICENSE ├── README.md ├── appendix └── parser.typ ├── main.typ ├── template.typ └── type-system ├── ad-hoc-poly.typ ├── curry-howard.typ ├── dt.typ ├── infer-poly.typ ├── inference.typ ├── lc-cube.typ ├── lc.typ ├── main.typ ├── parametric-poly.typ ├── poly.typ ├── refinement.typ └── substructural.typ /.github/workflows/julia-standalone-publish.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannypsnl/write-a-programming-language/HEAD/.github/workflows/julia-standalone-publish.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | *.pdf 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannypsnl/write-a-programming-language/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannypsnl/write-a-programming-language/HEAD/README.md -------------------------------------------------------------------------------- /appendix/parser.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannypsnl/write-a-programming-language/HEAD/appendix/parser.typ -------------------------------------------------------------------------------- /main.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannypsnl/write-a-programming-language/HEAD/main.typ -------------------------------------------------------------------------------- /template.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannypsnl/write-a-programming-language/HEAD/template.typ -------------------------------------------------------------------------------- /type-system/ad-hoc-poly.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannypsnl/write-a-programming-language/HEAD/type-system/ad-hoc-poly.typ -------------------------------------------------------------------------------- /type-system/curry-howard.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannypsnl/write-a-programming-language/HEAD/type-system/curry-howard.typ -------------------------------------------------------------------------------- /type-system/dt.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannypsnl/write-a-programming-language/HEAD/type-system/dt.typ -------------------------------------------------------------------------------- /type-system/infer-poly.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannypsnl/write-a-programming-language/HEAD/type-system/infer-poly.typ -------------------------------------------------------------------------------- /type-system/inference.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannypsnl/write-a-programming-language/HEAD/type-system/inference.typ -------------------------------------------------------------------------------- /type-system/lc-cube.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannypsnl/write-a-programming-language/HEAD/type-system/lc-cube.typ -------------------------------------------------------------------------------- /type-system/lc.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannypsnl/write-a-programming-language/HEAD/type-system/lc.typ -------------------------------------------------------------------------------- /type-system/main.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannypsnl/write-a-programming-language/HEAD/type-system/main.typ -------------------------------------------------------------------------------- /type-system/parametric-poly.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannypsnl/write-a-programming-language/HEAD/type-system/parametric-poly.typ -------------------------------------------------------------------------------- /type-system/poly.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dannypsnl/write-a-programming-language/HEAD/type-system/poly.typ -------------------------------------------------------------------------------- /type-system/refinement.typ: -------------------------------------------------------------------------------- 1 | == Refinement Type 2 | -------------------------------------------------------------------------------- /type-system/substructural.typ: -------------------------------------------------------------------------------- 1 | == Substructural Type 2 | --------------------------------------------------------------------------------