Added public archive noteHEADmain

1 files changed, 14 insertions, 13 deletions

diff --git a/readme.md b/readme.md
index 101c386..6438b09 100644
--- a/readme.md
+++ b/readme.md
@@ -1,17 +1,18 @@
 # Totally Fun Programming Language
 
-This language is purely academic. The following features are - while planned - almost certainly not (yet/correctly) implemented.
+**This project is in a completely unusable and unimplemented state and
+is only available as a public archive.** See my (possibly slightly
+related) programming language [bruijn](https://bruijn.marvinborner.de)
+for active work.
 
-## Features/goals
+## Public archive notes
 
--   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
--   Unforgiving syntax
--   Force clean code
+I believe this was originally intended to be a total functional
+programming language and was designed as a merge between low-level and
+very abstract languages. There's some weird history in Git, mostly
+playing around with the concept of PLs in general I think.
+
+I know that I later discovered that Agda and Idris can do some of the
+same things I wanted "Fun" to do, e.g. by using FFI and a C backend
+(although I apparently imagined a ASM FFI, but that's not really
+future-proof anyway).