LinOCaml: Lightweight, monad-based linear types in OCaml, with a few syntax extensions Paper Draft Draft in Japanese 日本語 Build opam install dune dune build Examples See examples/ folder. To run examples, try: ./_build/default/examples/ex_array.exe ./_build/default/examples/ex_linlist.exe ./_build/default/examples/ex_session.exe Prerequisites OCaml 4.06.1 or higher. Checked with OCaml 4.07.0