Some writings about a type system for nix
Go to file
regnat 1114b37de6 Add installphase for hydra builds
Also takes care of declaring hydra products for download
2017-05-12 16:29:37 +02:00
combined fix chktex-reported errors 2017-05-11 08:21:06 +02:00
common Remove \x/ syntax for meta-variables 2017-05-11 18:21:19 +02:00
grammar Remove \x/ syntax for meta-variables 2017-05-11 18:21:19 +02:00
semantics Remove \x/ syntax for meta-variables 2017-05-11 18:21:19 +02:00
typing Remove \x/ syntax for meta-variables 2017-05-11 18:21:19 +02:00
.chktexrc Add chktex config and makefile rule 2017-05-11 08:21:06 +02:00
.gitignore Add .gitignore 2017-03-28 15:17:37 +02:00
.latexmkrc .latexmkrc: quote the evince name 2017-04-11 11:17:45 +02:00
default.nix Add installphase for hydra builds 2017-05-12 16:29:37 +02:00
Makefile Fix make clean 2017-05-11 08:32:05 +02:00
mathpartir.sty added style 2017-04-19 10:45:40 +02:00
references.bib Add draft about the typing of records in nix 2017-04-01 12:28:19 +02:00