jonprl - Programming language

jonprl is a programming language created in 2015 by Jonathan Sterling.

#1385on PLDB

9Years Old

Download source code:

git clone https://github.com/jonsterling/jonprl

An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]

Tags: programming language
jonprl is developed on GitHub and has 109 stars
Early development of jonprl happened in https://github.com/jonsterling/JonPRL/issues
jonprl is written in Standard ML, Markdown, Make, YAML, Bourne shell
jonprl.org was registered in 2021