| | 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 |
|