diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-08 06:11:52 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-08 06:11:52 +0000 |
| commit | 204293df5ca4ab0b6633be9f6d696556336b915e (patch) | |
| tree | dbf6daa1d265c4b967276d0b760570d06d82b26b | |
| parent | fc20ccaca661b4d6f7d6f5ee0f72f4b06d71b509 (diff) | |
English
| -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. |