diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-02-06 21:42:25 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-02-06 21:42:25 +0100 |
| commit | ac50f10c47c0485536d4ff35bc645020ae68414b (patch) | |
| tree | b91f4989cc335aaa743d1ff98cf09a3218495907 /source | |
| parent | ed6feaa1f2d1f5286f526d27b9962e6dc4c347b8 (diff) | |
chore: update wg03 paper.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'source')
| -rw-r--r-- | source/README.md | 7 | ||||
| -rw-r--r-- | source/wg03/paper.tex | 4 |
2 files changed, 5 insertions, 6 deletions
diff --git a/source/README.md b/source/README.md index 7d1f81f..ee6a411 100644 --- a/source/README.md +++ b/source/README.md @@ -12,8 +12,7 @@ - WG04-SPACE-RF: `The Distributed Systems Group`. - WG05: `The Execution Theory Group`. -## Active DN Groups: - -- WG001: `The Mathematics of Execution.` -- WG002: `The C Index Property.` +## Active Paper Groups: +- DN001: `The Mathematics of Execution.` +- DN002: `The C Index Property.` diff --git a/source/wg03/paper.tex b/source/wg03/paper.tex index 98dec56..8f3ecc5 100644 --- a/source/wg03/paper.tex +++ b/source/wg03/paper.tex @@ -52,7 +52,7 @@ \abstract { Nectar as presented in its primer—is a compiled programming language—designed for systems programming with high-level abstractions. - It is statically typed—compiled, and supports multi-paradigm programming. + It is statically typed—compiled, and supports multi-paradigm programming. This paper covers the mathematical concepts behind the language. } \begin{center} @@ -92,7 +92,7 @@ where $P(x) = \mathbb{P}$ with an argument of $x$. \\ Let $\Theta(x)$ be defined \section{Conclusion} - +We have introduced definitions, and properties which shall be be applied to programming languages, semantics, and other related mathematicial applications. \section{References} |