changes

[cdsspec-compiler.git] / correctness-model / writeup / technical.tex

diff --git a/correctness-model/writeup/technical.tex b/correctness-model/writeup/technical.tex
new file mode 100644 (file)
index 0000000..674e37c
--- /dev/null
+++ b/correctness-model/writeup/technical.tex
@@ -0,0 +1 @@
+\section{Technical}\label{sec:technical}