thufschmitt/tix-papers
1
1
Fork 0
mirror of https://github.com/thufschmitt/tix-papers.git synced 2024-09-11 13:00:34 +03:00
Code Issues Projects Releases Wiki Activity
Some writings about a type system for nix
9 Commits 8 Branches 0 Tags 1.2 MiB
TeX 97.2%
Makefile 1.7%
Nix 1.1%
0caadfa2fd
Go to file
regnat 0caadfa2fd grammar: add typeOf as a constant
2017-03-29 11:58:03 +02:00
grammar grammar: add typeOf as a constant 2017-03-29 11:58:03 +02:00
semantics semantics: replace "s_n" by x_n for readability 2017-03-29 10:38:01 +02:00
.gitignore Add .gitignore 2017-03-28 15:17:37 +02:00
default.nix Add default.nix 2017-03-28 15:14:06 +02:00