thufschmitt/tix-papers
1
1
Fork 0
mirror of https://github.com/thufschmitt/tix-papers.git synced 2024-08-17 08:40:28 +03:00
Code Issues Projects Releases Wiki Activity
Some writings about a type system for nix
55 Commits 8 Branches 0 Tags 1.2 MiB
TeX 97.2%
Makefile 1.7%
Nix 1.1%
grammar
Go to file
regnat 5d04ae05d1 grammar: visual fix
2017-04-07 11:49:23 +02:00
common typing: add a grammar for types 2017-04-06 16:51:06 +02:00
grammar grammar: visual fix 2017-04-07 11:49:23 +02:00
semantics factorize header 2017-04-06 16:15:46 +02:00
typing typing: add a grammar for types 2017-04-06 16:51:06 +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 factorize header 2017-04-06 16:15:46 +02:00
references.bib Add draft about the typing of records in nix 2017-04-01 12:28:19 +02:00