diff options
| -rw-r--r-- | CITATION.cff | 5 | ||||
| -rw-r--r-- | source/INDEX.md | 12 | ||||
| -rw-r--r-- | source/README.md | 13 | ||||
| -rw-r--r-- | source/wg03/wg03.tex | 4 |
4 files changed, 18 insertions, 16 deletions
diff --git a/CITATION.cff b/CITATION.cff index a171f39..a6b3272 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -15,7 +15,8 @@ url: 'https://nekernel.org' abstract: >- Working Group Papers of NeKernel.org keywords: - - kernel + - os - cpp - - modern_cpp + - systems + - pl license: Apache-2.0 diff --git a/source/INDEX.md b/source/INDEX.md deleted file mode 100644 index 9234f25..0000000 --- a/source/INDEX.md +++ /dev/null @@ -1,12 +0,0 @@ -# Introduction: - -This file indexes the different working groups and their purpose. - -## Working Groups: - -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.` diff --git a/source/README.md b/source/README.md new file mode 100644 index 0000000..8454f94 --- /dev/null +++ b/source/README.md @@ -0,0 +1,13 @@ +# NeKernel.org Working Groups. + +#### This README indexes the different working groups and their purpose. + +## Working Groups: + +### Here are the following active working groups: + +- WG01: `PL/OS Group`. +- WG02: `Systems Group`. +- WG03: `Compiler Design Group`. +- WG04-SPACE-RF: `Distributed Systems Group`. + diff --git a/source/wg03/wg03.tex b/source/wg03/wg03.tex index 6cfb47d..7f2cff8 100644 --- a/source/wg03/wg03.tex +++ b/source/wg03/wg03.tex @@ -1,5 +1,5 @@ % AUTHOR: Amlal El Mahrouss -% PURPOSE: WG03: Methodology for Storage Correctness. +% PURPOSE: WG03: The Nectar Programming Language. \documentclass[11pt, a4paper]{article} \usepackage{graphicx} @@ -10,7 +10,7 @@ \title{The Nectar Programming Language.} \author{Amlal El Mahrouss.\\amlal@nekernel.org} -\date{December 2025} +\date{January 2026} \definecolor{codegray}{gray}{0.95} \definecolor{codeblue}{rgb}{0.1,0.1,0.8} |