This repository was archived by the owner on Apr 2, 2023. It is now read-only.

Project Ideas List

Jump to bottom

Jonathan Sterling edited this page Feb 18, 2016 · 6 revisions

Server interface to the elaborator, to be used by interactive frontends
Rich web interface to Red JonPRL