Submissions from agraef.github.io

		The Pure Programming Language (agraef.github.io)
		141 points by tosh on Feb 27, 2024 \| past \| 22 comments
		Pure, a functional programming language based on term rewriting (agraef.github.io)
		6 points by anon121212 on April 15, 2019 \| past
		Pure: a modern functional programming language based on term rewriting (agraef.github.io)
		128 points by blacksqr on Nov 26, 2017 \| past \| 34 comments