{{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}}