Функциональный язык для нетипизированного лямбда-исчисления

Есть ли интерпретатор (или компилятор) для нетипизированного лямбда-исчисления? (Согласно этот поток это возможно.) Я понимаю, что от него было бы мало пользы в качестве языка программирования, особенно если бы большая часть языка (например, числа и логические операторы) была реализована (либо пользователем или библиотекой) на самом языке. Тем не менее, я все еще думаю, что это был бы забавный инструмент, полезный для изучения и изучения математического анализа. Для этого интерпретатор был бы предпочтительнее компилятора, хотя бы любой из них работал. Кто-нибудь знает о такой программе?