Refal

A minimalistic implementation of Refal.

It is based on the following (in Russian) papers by Sergei Romanenko:

  1. С.А.Романенко. Машинно-независимый компилятор с языка рекурсивных функций. Диссертация на соискание уч.степени к.ф.-м.н.. - М.:ИПМ АН СССР, 1978. PDF
  2. С.А.Романенко. Реализация Рефала-2. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987. PDF

Experimenting

cargo run Test.refal Test.TestPalindrome1