diff options
author | Marvin Borner | 2022-03-05 18:18:01 +0100 |
---|---|---|
committer | Marvin Borner | 2022-03-05 18:18:01 +0100 |
commit | 61f1e8d2b1889ae13f5ca6fccf5776faa7e8a0ef (patch) | |
tree | 61f50be061443003cda759b392c9ed9d58e50e90 | |
parent | cab564e400590cbd8a88e190fe381a74655005cf (diff) |
We'll see
-rw-r--r-- | readme.md | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 |