From a9e51889014eec5658ac21067eadd02afc367839 Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Sat, 10 Jan 2026 23:04:06 +0100 Subject: wip: Working on WG03. The Nectar Paper. Signed-off-by: Amlal El Mahrouss --- source/INDEX.md | 2 +- source/wg03/wg03.tex | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'source') diff --git a/source/INDEX.md b/source/INDEX.md index 74215e6..9234f25 100644 --- a/source/INDEX.md +++ b/source/INDEX.md @@ -9,4 +9,4 @@ Here are the following active working groups: - WG01: `Kernel Architecture Group.` - WG02: `Multi-Tasking Group.` - WG03: `Compiler Design Group.` -- WG04-SPACE-RF: `Distributed Systems Group.` \ No newline at end of file +- WG04-SPACE-RF: `Distributed Systems Group.` 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} -- cgit v1.2.3