Made sure to use recursive comments (currently broken in parcom)

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

Made sure to use recursive comments (currently broken in parcom) #212

Closed jozefg closed 8 years ago

jozefg commented 8 years ago

When fixed in parcom, this will solve #186. To confirm, you can build JonPRL against jozefg/parcom.