From 61f1e8d2b1889ae13f5ca6fccf5776faa7e8a0ef Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Sat, 5 Mar 2022 18:18:01 +0100 Subject: We'll see --- readme.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- cgit v1.2.3