The "Interface" Version of Nuprl
by Stuart F. Allen, Richard Eaton
Stuart and Rich will describe the structure of the soon-to-be-released version of the Nuprl system which allows other processes to communicate with Nuprl processes, giving them access to the Library and Refiner. It will then be possible for users to use their preferred front ends. The new facility will also make it possible to use the new SML refiner which is being developed.