glical
- glical.ml: implementation of the kernel of the library
- glical.mli: interface for the kernel of the library
- glical_tool.ml: implementation of some higher-level tools
- glical_tool.mli: interface for some higher-level tools
- glical_cat.ml: a trivial example