mirror of
https://github.com/thufschmitt/tix-papers.git
synced 2024-10-26 21:42:45 +03:00
Move "soundness" to its own part
This commit is contained in:
parent
3dd6b5ab03
commit
a78a2a3d60
4
main.tex
4
main.tex
@ -46,8 +46,8 @@ We also present a compilation from nix to nix-light.
|
||||
\subsection{Bidirectional typing}
|
||||
\input{nix-light/typing/bidir.tex}
|
||||
|
||||
\subsection{Soundness}
|
||||
\input{nix-light/typing/soundness}
|
||||
\section{Soundness of the type-system}
|
||||
\input{soundness/main}
|
||||
|
||||
\section{Compilation}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user