1 files changed, 17 insertions, 0 deletions
diff --git a/main.tex b/main.tex
new file mode 100644
index 0000000..b0e6489
--- /dev/null
+++ b/main.tex
@@ -0,0 +1,17 @@
+\environment env
+\starttext
+
+\title{Abstract Interpretation}
+
+\input tufte
+\input tufte
+\input tufte
+\input tufte
+
+\input tufte
+\input tufte
+\input tufte
+\input tufte
+\input tufte
+
+\stoptext