diff options
Diffstat (limited to 'readme.md')
| -rw-r--r-- | readme.md | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -1,7 +1,16 @@ -# Fun with functions +# Totally Fun Programming Language + +This language is purely academic. The following features are - while planned - almost certainly not (yet/correctly) implemented. ## Features +- Total functional programming: Either + - primitive recursion over data + - coprimitive corecursion over codata +- Not Turing-complete (obviously) but PR-complete +- Machine-oriented +- No undefined behavior nor non-terminating functions +- Complete provability - Strict grammar - Unforgiving syntax - Force clean code |