Some writings about a type system for nix

starred-repostarred-thufschmitt-repo

regnat db5f5786d1 First draft of a type system for nix ... Currently no records nor builtins operators		2017-04-06 15:42:57 +02:00
grammar	grammar: distinguish ({meta-,}sytactic "..."	2017-04-06 15:42:56 +02:00
semantics	semantics: Rewrite recursive lets using records	2017-04-06 15:42:56 +02:00
typing	First draft of a type system for nix	2017-04-06 15:42:57 +02:00
.gitignore	Add .gitignore	2017-03-28 15:17:37 +02:00
.latexmkrc	Add Makefile	2017-04-01 11:07:14 +02:00
default.nix	Add default.nix	2017-03-28 15:14:06 +02:00
Makefile	First draft of a type system for nix	2017-04-06 15:42:57 +02:00
references.bib	Add draft about the typing of records in nix	2017-04-01 12:28:19 +02:00