Languages Features Creators CSV Resources Challenges Add Language
GitHub icon

jonprl

jonprl - Programming language

< >

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]


edgelisp.html 路 jonprl.html 路 d-data-language-specification.html

View source

- Build the next great programming language Search Day 214 About Blog Acknowledgements Traffic Traffic Today GitHub feedback@pldb.com