Some writings about a type system for nix
Go to file
2017-05-23 07:36:19 +02:00
common Define the "oracle" type-system 2017-05-23 07:34:10 +02:00
compilation Rewrite the compilation of if using the D set 2017-05-19 09:29:23 +02:00
nix Expand the explications of nix typing 2017-05-19 10:45:37 +02:00
nix-light Move "soundness" to its own part 2017-05-22 08:30:45 +02:00
soundness oracle: State and prove subject reduction 2017-05-23 07:36:19 +02:00
.chktexrc Add note (in plaintext) about the compilation 2017-05-15 17:07:26 +02:00
.gitignore Add .gitignore 2017-03-28 15:17:37 +02:00
default.nix Add installphase for hydra builds 2017-05-12 16:29:37 +02:00
main.tex Define the "oracle" type-system 2017-05-23 07:34:10 +02:00
Makefile Reorganize physical hierarchy 2017-05-19 08:01:25 +02:00
mathpartir.sty added style 2017-04-19 10:45:40 +02:00
README.md Change link to the paper in the readme 2017-05-16 09:29:24 +02:00
references.bib typing: replace bad pair example by better list one 2017-05-18 11:29:28 +02:00
release.nix Add release.nix 2017-05-12 16:32:47 +02:00

This paper describes a WIP type system for nix.

See the rendered version here

See also this repo for the implementation