diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-01-10 23:04:06 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-01-10 23:04:18 +0100 |
| commit | a9e51889014eec5658ac21067eadd02afc367839 (patch) | |
| tree | f9d0220f91671e9f50fcb9058ab8f654fe37c2b3 /source/wg03 | |
| parent | d15811d879fe5fa1679087a8dc0e667175c91980 (diff) | |
wip: Working on WG03. The Nectar Paper.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'source/wg03')
| -rw-r--r-- | source/wg03/wg03.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/source/wg03/wg03.tex b/source/wg03/wg03.tex index 36375b1..6cfb47d 100644 --- a/source/wg03/wg03.tex +++ b/source/wg03/wg03.tex @@ -8,7 +8,7 @@ \usepackage{hyperref} \usepackage[margin=0.5in,top=1in,bottom=1in]{geometry} -\title{Methodology for Storage Correctness.} +\title{The Nectar Programming Language.} \author{Amlal El Mahrouss.\\amlal@nekernel.org} \date{December 2025} @@ -52,4 +52,4 @@ { } -\end{document}
\ No newline at end of file +\end{document} |