search

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]
http://www.jonprl.org
MIT License
109 stars 9 forks source link

A Module System? #252

Open markfarrell opened 8 years ago

markfarrell commented 8 years ago

Would it be possible, and be desirable, to have a more sophisticated module system for JonPRL?