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 | |
| parent | d15811d879fe5fa1679087a8dc0e667175c91980 (diff) | |
wip: Working on WG03. The Nectar Paper.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'source')
| -rw-r--r-- | source/INDEX.md | 2 | ||||
| -rw-r--r-- | source/wg03/wg03.tex | 4 |
2 files changed, 3 insertions, 3 deletions
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} |