thufschmitt/tix-papers
1
1
Fork 0
mirror of https://github.com/thufschmitt/tix-papers.git synced 2024-08-16 16:20:47 +03:00
Code Issues Projects Releases Wiki Activity
Some writings about a type system for nix
69 Commits 8 Branches 0 Tags 1.2 MiB
TeX 97.2%
Makefile 1.7%
Nix 1.1%
ee2a7ac4f2
Go to file
Beppe ee2a7ac4f2 added style
2017-04-19 10:45:40 +02:00
combined [WIP] Refactor everything into one big document 2017-04-11 12:01:24 +02:00
common Change the \orthplus symbol to a diamond 2017-04-11 14:56:20 +02:00
grammar Some explanations on the grammar 2017-04-11 14:01:42 +02:00
semantics [WIP] Refactor everything into one big document 2017-04-11 12:01:24 +02:00
typing [WIP] Refactor everything into one big document 2017-04-11 12:01:24 +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 typing: split typing rules 2017-04-07 11:14:14 +02:00
Makefile fix makefile main target 2017-04-19 09:25:48 +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