blob: 3d7470e48dbd10f7590aa5c5b6f1d31cdef6bade (
plain)
1
2
3
4
5
6
7
8
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.
*
|