redprl is a programming language created in 2016 by Jonathan Sterling.
Homepage ·
Source Code
The People's Refinement Logic
- Tags: programming language
- redprl is developed on GitHub and has 227 stars
- Early development of redprl happened in https://github.com/RedPRL
- redprl is written in Standard ML, Bourne shell, reStructuredText, Markdown, Vim script, Python, Tex, Lisp, Lex, CSS, YAML, Make, JSON
- redprl.org was registered in 2016