Eine funktionale Programmiersprache,
die den reinen λ-Kalkül
benutzt. Das ist eine ziemlich krasse Beschränkung auf nichts Anderes als Funktionen - nichteinmal Zahlen
oder Vergleiche sind erlaubt. Trotzdem ist der Kalkül
Turing vollständig.
Hier ist der Quellcode. Mit dabei ist auch eine PDF Datei,
in der ich die Turing-Vollständigkeit beweise und eine Anleitung, wie man mit dem Kalkül arbeitet
und wie die ganzen standard-Funktionen funktionieren.