mirror of
https://github.com/thufschmitt/tix-papers.git
synced 2024-09-11 13:00:34 +03:00
Include typing rules into the global document
This commit is contained in:
parent
ee2a7ac4f2
commit
25c754ccea
@ -26,7 +26,7 @@ We also present a compilation from nix to nix-light.
|
||||
|
||||
\section{typing}
|
||||
|
||||
\todo{Finish and include the typing rules}
|
||||
\input{typing/type-system.tex}
|
||||
|
||||
\todos{}
|
||||
|
||||
|
@ -1,16 +1,3 @@
|
||||
\input{common/header}
|
||||
|
||||
\title{A type system for nix}
|
||||
|
||||
\begin{document}
|
||||
|
||||
\maketitle{}
|
||||
|
||||
\section{Types}
|
||||
|
||||
\include{grammar/types}
|
||||
|
||||
\section{Typing rules}
|
||||
\subsection{$\lambda\&$-calculus}
|
||||
\begin{mathpar}
|
||||
\inferrule{ }{\Gamma; x:\tau \vdash x:\tau}(Var)
|
||||
@ -69,7 +56,3 @@
|
||||
|
||||
\subsection{Other builtin operators}
|
||||
\todo{add rules for operators}
|
||||
|
||||
\todos
|
||||
|
||||
\end{document}
|
||||
|
Loading…
Reference in New Issue
Block a user