Public read-only mirror for Ciao source code.
This is a temporary repository made available for the purpose of distributing the latest source code of Ciao, specially for the integration with third-party continuous integration services.
Please, do not fork this repository:
- commit ids will not be stable (history may be rewritten)
- commit logs are still not available
- some advanced or experimental features are not available
-- Ciao Development Team