mirror of
https://github.com/thufschmitt/tix-papers.git
synced 2024-09-11 13:00:34 +03:00
Add release.nix
For hydra
This commit is contained in:
parent
638102ccd6
commit
e6b2b6c4b7
2
main.tex
2
main.tex
@ -92,7 +92,7 @@
|
||||
\newcommand{λ}{\ensuremath{\lambda}}
|
||||
\newcommand{σ}{\ensuremath{\sigma}}
|
||||
\newcommand{τ}{\ensuremath{\tau}}
|
||||
\newcommand{Γ}{\ensuremath{Γ}}
|
||||
\newcommand{Γ}{\ensuremath{\Gamma}}
|
||||
\newcommand{\lbl}[1]{\text{(\emph{#1})}}
|
||||
% Subtyping
|
||||
\newcommand{\subtype}{\leq}
|
||||
|
4
release.nix
Normal file
4
release.nix
Normal file
@ -0,0 +1,4 @@
|
||||
{
|
||||
build = import ./default.nix;
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user