From c613a855fb323ce51f25c7bcf473c1d1af3c063d Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Sun, 11 Jan 2026 17:57:29 +0100 Subject: feat: update CFF file. Signed-off-by: Amlal El Mahrouss --- source/INDEX.md | 12 ------------ source/README.md | 13 +++++++++++++ source/wg03/wg03.tex | 4 ++-- 3 files changed, 15 insertions(+), 14 deletions(-) delete mode 100644 source/INDEX.md create mode 100644 source/README.md (limited to 'source') 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} -- cgit v1.2.3