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.