├── .hgignore ├── LICENSE ├── README.md ├── broker ├── broker_client.ml ├── broker_client.mli ├── broker_protocol.ml ├── broker_protocol.mli ├── broker_server.ml ├── broker_server.mli ├── build.sh ├── common.ml ├── common.mli ├── directory.ml ├── directory.mli └── jbuild ├── dot_ocamlinit ├── hello-world-rpc ├── build.sh ├── common.ml ├── common.mli ├── hello_client.ml ├── hello_client.mli ├── hello_protocol.ml ├── hello_protocol.mli ├── hello_server.ml ├── hello_server.mli └── jbuild ├── hello-world ├── build.sh ├── hello_world.ml ├── hello_world.mli └── jbuild ├── hello_core.opam └── jbuild-workspace /.hgignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/.hgignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/README.md -------------------------------------------------------------------------------- /broker/broker_client.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/broker/broker_client.ml -------------------------------------------------------------------------------- /broker/broker_client.mli: -------------------------------------------------------------------------------- 1 | (* A command-line program *) 2 | -------------------------------------------------------------------------------- /broker/broker_protocol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/broker/broker_protocol.ml -------------------------------------------------------------------------------- /broker/broker_protocol.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/broker/broker_protocol.mli -------------------------------------------------------------------------------- /broker/broker_server.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/broker/broker_server.ml -------------------------------------------------------------------------------- /broker/broker_server.mli: -------------------------------------------------------------------------------- 1 | (* A command-line program *) 2 | -------------------------------------------------------------------------------- /broker/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/broker/build.sh -------------------------------------------------------------------------------- /broker/common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/broker/common.ml -------------------------------------------------------------------------------- /broker/common.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/broker/common.mli -------------------------------------------------------------------------------- /broker/directory.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/broker/directory.ml -------------------------------------------------------------------------------- /broker/directory.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/broker/directory.mli -------------------------------------------------------------------------------- /broker/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/broker/jbuild -------------------------------------------------------------------------------- /dot_ocamlinit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/dot_ocamlinit -------------------------------------------------------------------------------- /hello-world-rpc/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/hello-world-rpc/build.sh -------------------------------------------------------------------------------- /hello-world-rpc/common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/hello-world-rpc/common.ml -------------------------------------------------------------------------------- /hello-world-rpc/common.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/hello-world-rpc/common.mli -------------------------------------------------------------------------------- /hello-world-rpc/hello_client.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/hello-world-rpc/hello_client.ml -------------------------------------------------------------------------------- /hello-world-rpc/hello_client.mli: -------------------------------------------------------------------------------- 1 | (* A command-line program *) 2 | -------------------------------------------------------------------------------- /hello-world-rpc/hello_protocol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/hello-world-rpc/hello_protocol.ml -------------------------------------------------------------------------------- /hello-world-rpc/hello_protocol.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/hello-world-rpc/hello_protocol.mli -------------------------------------------------------------------------------- /hello-world-rpc/hello_server.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/hello-world-rpc/hello_server.ml -------------------------------------------------------------------------------- /hello-world-rpc/hello_server.mli: -------------------------------------------------------------------------------- 1 | (* A command-line program *) 2 | -------------------------------------------------------------------------------- /hello-world-rpc/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/hello-world-rpc/jbuild -------------------------------------------------------------------------------- /hello-world/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/hello-world/build.sh -------------------------------------------------------------------------------- /hello-world/hello_world.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/hello-world/hello_world.ml -------------------------------------------------------------------------------- /hello-world/hello_world.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/hello-world/hello_world.mli -------------------------------------------------------------------------------- /hello-world/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/hello-world/jbuild -------------------------------------------------------------------------------- /hello_core.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yminsky/core-hello-world/HEAD/hello_core.opam -------------------------------------------------------------------------------- /jbuild-workspace: -------------------------------------------------------------------------------- 1 | --------------------------------------------------------------------------------