diff options
Diffstat (limited to 'outline.org')
-rw-r--r-- | outline.org | 9 |
1 files changed, 9 insertions, 0 deletions
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. + +* |