diff options
| -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 |