diff options
-rw-r--r-- | html/projects/corba.html | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/html/projects/corba.html b/html/projects/corba.html index f2143fc2..2b70fbc1 100644 --- a/html/projects/corba.html +++ b/html/projects/corba.html @@ -2,14 +2,14 @@ <p> The future version of Proof General may use CORBA as a communication mechanism between different components. CORBA is also used by the -Unix/Linux desktops KDE and GNOME, which the free implementations MICO -and ORBIT. We would like to be able to use ML to write applications -and utilities in, to interface with other CORBA components on the -desktop and network. For this a CORBA binding for ML is needed. This -project involves the design and implementation of such a binding, -using one of the open-source ML compilers such as Moscow ML, Poly/ML -or OCaml (there may already be a project underway for the last of -these). +Unix/Linux desktops KDE and GNOME, which use the free implementations +MICO and ORBIT respectively. We would like to be able to use ML to +write applications and utilities in, to interface with other CORBA +components on the desktop and network. For this a CORBA binding for +ML is needed. This project involves the design and implementation of +an experimental version of such a binding, using one of the +open-source ML compilers such as Moscow ML, Poly/ML or OCaml (there +may already be a project underway for the last of these). </p> <p> A CORBA binding for Haskell would also be an interesting project. |