msgpack-python/ocaml/README.markdown

MsgPack for OCaml

OVERVIEW

MessagePack(http://msgpack.org)のOCaml版ライブラリです。 シリアライズしたものをデシリアライズすると元にもどることがCoqによって保証されています。

REQUIRE

• extlib http://code.google.com/p/ocaml-extlib/
• Coq 8.3 http://coq.inria.fr

BUILD & INSTALL

  $ omake
  $ omake install

DOCUMENT

http://mzp.github.com/msgpack-ocaml/refman