3 ms·Pure: A modern-style functional programming language based on term rewriting.2 points by e1ven 18y ago