summaryrefslogtreecommitdiffhomepage
path: root/source/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'source/README.md')
-rw-r--r--source/README.md6
1 files changed, 4 insertions, 2 deletions
diff --git a/source/README.md b/source/README.md
index 999bcc6..46afa1a 100644
--- a/source/README.md
+++ b/source/README.md
@@ -8,12 +8,14 @@ The Working Groups are paper(s) owned by a group of persons in which they improv
### Active Working Groups:
-- WG01: `The PL/OS Group`.
+- WG01: `The NeKernel Group`.
- WG02: `The Systems Group`.
-- WG03: `The Nectar PL Group`.
+- WG03: `The Nectar Group`.
- WG04: `The Mathematics Group`.
- WG05: `The Execution Theory Group`.
## External Resources:
+We recommend these external notes to be read as well.
+
- [https://github.com/amlel-el-mahrouss/paper-notes](https://github.com/amlel-el-mahrouss/paper-notes)