Pure, a functional programming language based on term rewritingagraef.github.io6 points·anon121212··0 commentsOpen articleSaveView on HN