jonprl is a programming language created in 2015 by Jonathan Sterling.
#1924on PLDB | 8Years Old | 136Users |
0Books | 0Papers |
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]