blob: b2c677d2b74075e49d11a38489e82c56a08bf4d5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
# NeKernel.org Working Groups/DN Groups.
#### This README indexes the different working groups and their purpose.
## Working Groups:
### Active Working Groups:
- WG01: `The PL/OS Group`.
- WG02: `The Systems Group`.
- WG03: `The Nectar PL Group`.
- WG04: `The Mathematics Group`.
- WG05: `The Execution Theory Group`.
## Active Paper Groups:
- DN001: `The Mathematics of Execution.`
- DN002: `The C Index Property.`
|
