I've been crawling all the pages still alive on t his theme since the post, I've stumbled on the refal+ reference [0] and a presentation post on the language [1

I've been crawling all the pages still alive on t his theme since the post, I've stumbled on the refal+ reference [0] and a presentation post on the language [1] but couldn't find much more useful docs. Anything you can share will be appreciated this has piqued my interest in a big way! I'll keep an eye on this thread & wiki for anything you can share [0] http://wiki.botik.ru/twiki/pub/Refaldevel/Download/RefalPlusReferenceManual.pdf http://wiki.botik.ru/twiki/pub/Refaldevel/Download/RefalPlus... [1] http://www.math.bas.bg/bantchev/place/refal.html http://www.math.bas.bg/bantchev/place/refal.html