From 8ba729708446b87baf9ec19cc25d9726ea247db7 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 15 May 2022 15:30:49 -0400
Subject: Add initial files

---
 outline.org | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 outline.org

(limited to 'outline.org')

diff --git a/outline.org b/outline.org
new file mode 100644
index 0000000..3d7470e
--- /dev/null
+++ b/outline.org
@@ -0,0 +1,9 @@
+#+title: Outline
+
+For the presentation at chalmers, I will in general want the following outline:
+
+* Background
+
+The background that I need to introduce is: What is HLS, and what is CompCert.
+
+*
-- 
cgit