diff options
Diffstat (limited to 'source')
| -rw-r--r-- | source/README.md | 6 | ||||
| -rw-r--r-- | source/wg01/articles/.keep | 0 | ||||
| -rw-r--r-- | source/wg04/articles/.keep | 0 |
3 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) diff --git a/source/wg01/articles/.keep b/source/wg01/articles/.keep new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/source/wg01/articles/.keep diff --git a/source/wg04/articles/.keep b/source/wg04/articles/.keep new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/source/wg04/articles/.keep |