Skip to content

nbros/OcaIDE

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

OcaIDE

OcaIDE is an OCaml plug-in for Eclipse.

It is distributed under the CeCILL-B Open Source licence.

For more information, see the official website.