# 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