aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarvin Borner2022-03-05 18:18:01 +0100
committerMarvin Borner2022-03-05 18:18:01 +0100
commit61f1e8d2b1889ae13f5ca6fccf5776faa7e8a0ef (patch)
tree61f50be061443003cda759b392c9ed9d58e50e90
parentcab564e400590cbd8a88e190fe381a74655005cf (diff)
We'll see
-rw-r--r--readme.md3
1 files changed, 2 insertions, 1 deletions
diff --git a/readme.md b/readme.md
index 5c624e0..101c386 100644
--- a/readme.md
+++ b/readme.md
@@ -2,13 +2,14 @@
This language is purely academic. The following features are - while planned - almost certainly not (yet/correctly) implemented.
-## Features
+## Features/goals
- Total functional programming: Either
- primitive recursion over data
- coprimitive corecursion over codata
- Not Turing-complete (obviously) but PR-complete
- Machine-oriented
+- Self-generating assembly
- No undefined behavior nor non-terminating functions
- Complete provability
- Strict grammar