{{stub}} Refal stands for REcursive Functions Algorithmic Language, it's a functional programming language suited to symbolic and textual manipulation. {{language |site=http://www.refal.net/index_e.htm}}