Li-Fan Chen says to YSITD Pure: a modern functional programming language based on term rewriting (Score: 101+) Link: http://j.mp/2n73J3I