thufschmitt/tix-papers
1
1
Fork 0
mirror of https://github.com/thufschmitt/tix-papers.git synced 2024-07-07 09:26:20 +03:00
Code Issues Projects Releases Wiki Activity
Some writings about a type system for nix
105 Commits 8 Branches 0 Tags 1.2 MiB
TeX 97.2%
Makefile 1.7%
Nix 1.1%
master
Go to file
regnat 8b54b5302e Add (very tiny) readme with a link to the compiled version
2017-05-12 16:39:27 +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
default.nix Add installphase for hydra builds 2017-05-12 16:29:37 +02:00
Makefile Don't automatically show the result 2017-05-12 16:32:35 +02:00
mathpartir.sty added style 2017-04-19 10:45:40 +02:00
README.md Add (very tiny) readme with a link to the compiled version 2017-05-12 16:39:27 +02:00
references.bib Add draft about the typing of records in nix 2017-04-01 12:28:19 +02:00
release.nix Add release.nix 2017-05-12 16:32:47 +02:00

README.md

This paper describes a WIP type system for nix.

See the rendered version here