diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-05-15 15:30:49 -0400 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-05-15 15:30:49 -0400 |
commit | 8ba729708446b87baf9ec19cc25d9726ea247db7 (patch) | |
tree | ddb2a0966a578fddbad800eebe9660f91f5ab4d3 /outline.org | |
download | flashlight22-8ba729708446b87baf9ec19cc25d9726ea247db7.tar.gz flashlight22-8ba729708446b87baf9ec19cc25d9726ea247db7.zip |
Add initial files
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. + +* |